[certi-cvs] certi/doc index.html

[CERTI CVS commits]

CVSROOT:        /sources/certi
Module name:    certi
Changes by:     Eric NOULARD <erk>      14/05/06 08:06:18

Modified files:
        doc            : index.html 

Log message:
        Second thought:
         put both local and remote link this may be more convenient.

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/certi/doc/index.html?cvsroot=certi&r1=3.7&r2=3.8

Patches:
Index: index.html
===================================================================
RCS file: /sources/certi/certi/doc/index.html,v
retrieving revision 3.7
retrieving revision 3.8
diff -u -b -r3.7 -r3.8
--- index.html  6 May 2014 07:59:06 -0000       3.7
+++ index.html  6 May 2014 08:06:17 -0000       3.8
@@ -3,10 +3,12 @@
 <ul>
  <li>
     <a href="Install/html/index.html">CERTI Installation documentation</a> 
+    <a href="Install/CERTI_Install.pdf"> (PDF Version -- available if 
generated locally)</a> 
     <a href="http://www.nongnu.org/certi/certi_doc/Install/CERTI_Install.pdf";> 
(PDF Version on www.nongnu.org)</a> 
  </li>
  <li>
     <a href="User/html/index.html">CERTI User documentation</a>
+    <a href="User/CERTI_User.pdf">(PDF Version -- available if generated 
locally)</a>
     <a href="http://www.nongnu.org/certi/certi_doc/User/CERTI_User.pdf";>(PDF 
Version on www.nongnu.org)</a>
   </li>
 <li><a href="Developer/html/index.html">CERTI Developer documentation</a></li>