From 5dfefa1313bf90e6b26a810fdf30a714174d9862 Mon Sep 17 00:00:00 2001
From: Laurent Destailleur <eldy@destailleur.fr>
Date: Thu, 20 Dec 2012 20:16:10 +0100
Subject: [PATCH] Fix: doxygen

---
 htdocs/holiday/define_holiday.php | 2 +-
 htdocs/holiday/fiche.php          | 2 +-
 htdocs/holiday/index.php          | 2 +-
 htdocs/holiday/month_report.php   | 4 ++--
 htdocs/holiday/view_log.php       | 2 +-
 5 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/htdocs/holiday/define_holiday.php b/htdocs/holiday/define_holiday.php
index 41a955f64c3..374e3755ddd 100644
--- a/htdocs/holiday/define_holiday.php
+++ b/htdocs/holiday/define_holiday.php
@@ -19,7 +19,7 @@
 /**
  *		File that defines the balance of paid holiday of users.
  *
- *   	\file       define_holiday.php
+ *   	\file       htdocs/holiday/define_holiday.php
  *		\ingroup    holiday
  *		\brief      File that defines the balance of paid holiday of users.
  */
diff --git a/htdocs/holiday/fiche.php b/htdocs/holiday/fiche.php
index 0e126f5b86b..9597797da40 100644
--- a/htdocs/holiday/fiche.php
+++ b/htdocs/holiday/fiche.php
@@ -18,7 +18,7 @@
  */
 
 /**
- *   	\file       fiche.php
+ *   	\file       htdocs/holiday/fiche.php
  *		\ingroup    holiday
  *		\brief      Form and file creation of paid holiday.
  */
diff --git a/htdocs/holiday/index.php b/htdocs/holiday/index.php
index 3858edacad7..fa8e30a088b 100644
--- a/htdocs/holiday/index.php
+++ b/htdocs/holiday/index.php
@@ -18,7 +18,7 @@
  */
 
 /**
- *   	\file       index.php
+ *   	\file       htdocs/holiday/index.php
  *		\ingroup    holiday
  *		\brief      List of holiday.
  */
diff --git a/htdocs/holiday/month_report.php b/htdocs/holiday/month_report.php
index fe70a4d202a..5c0468d27b3 100644
--- a/htdocs/holiday/month_report.php
+++ b/htdocs/holiday/month_report.php
@@ -17,7 +17,7 @@
  */
 
 /**
- *   	\file       month_report.php
+ *   	\file       htdocs/holiday/month_report.php
  *		\ingroup    holiday
  *		\brief      Monthly report of paid holiday.
  */
@@ -113,7 +113,7 @@ if($num == '0') {
 
 		$holidaystatic->id=$holiday['rowid'];
 		$holidaystatic->ref=$holiday['rowid'];
-		
+
 		$start_date=$db->jdate($holiday['date_debut']);
 		$end_date=$db->jdate($holiday['date_fin']);
 		/*if(substr($holiday['date_debut'],5,2)==$month-1){
diff --git a/htdocs/holiday/view_log.php b/htdocs/holiday/view_log.php
index 5c212a87ea6..e8125f95958 100644
--- a/htdocs/holiday/view_log.php
+++ b/htdocs/holiday/view_log.php
@@ -19,7 +19,7 @@
 /**
  *  Displays the log of actions performed in the module.
  *
- *  \file       view_log.php
+ *  \file       htdocs/holiday/view_log.php
  *  \ingroup    holiday
  */