From 6a8d6806e5a2759b1f5a1a925f84f5239ff65433 Mon Sep 17 00:00:00 2001
From: sparkyx <dany118@gmail.com>
Date: Thu, 7 Dec 2006 19:09:11 +0000
Subject: [PATCH] Ajout manuel pdf depuis l application

---
 doc/Makefile          |  1 +
 include/user_menu.php | 11 ++++++-----
 2 files changed, 7 insertions(+), 5 deletions(-)

diff --git a/doc/Makefile b/doc/Makefile
index d636a06c7..5f9c63905 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -14,6 +14,7 @@ FAQ-fr.pdf: FAQ-fr.sgml
 	linuxdoc -B latex --papersize=a4 --charset=latin --output=pdf FAQ-fr.sgml
 manuel-fr.pdf:manuel-fr.sgml
 	linuxdoc -B latex --papersize=a4 --charset=latin --output=pdf manuel-fr.sgml
+	cp manuel-fr.pdf ../html
 INSTALL-fr.pdf:INSTALL-fr.sgml
 	linuxdoc -B latex --papersize=a4 --charset=latin --output=pdf INSTALL-fr.sgml
 FAQ-fr.txt: FAQ-fr.sgml
diff --git a/include/user_menu.php b/include/user_menu.php
index 19ccb1b81..4867d0588 100644
--- a/include/user_menu.php
+++ b/include/user_menu.php
@@ -41,11 +41,12 @@ function u_ShowDossier($p_user,$p_admin)
   $result="";
   $result.="<table border=\"0\">";
   $result.='<TR>';
-    if ( $p_admin == 1 ) {
-      $result.="<TD  class=\"mtitle\" ><A class=\"mtitle\" HREF=\"admin_repo.php\"> Administration  </A></TD>";
-    }
-    $result.='<TD  class="mtitle" ><A class="mtitle" HREF="logout.php" > Sortir</a></TD>';
-    $result.="</TR>";
+  if ( $p_admin == 1 ) {
+    $result.="<TD  class=\"mtitle\" ><A class=\"mtitle\" HREF=\"admin_repo.php\"> Administration  </A></TD>";
+  }
+  $result.='<TD  class="mtitle" ><A class="mtitle" HREF="manuel-fr.pdf" > Aide </a></TD>';
+  $result.='<TD  class="mtitle" ><A class="mtitle" HREF="logout.php" > Sortir</a></TD>';
+  $result.="</TR>";
   $result.="</table>";
   $result.="<TABLE>";
   for ($i=0;$i<sizeof($p_array);$i++) {