User: hinder Date: 2011/10/25 08:52 AM

Modified: /documentation/ index.php

Log: documentation: Point to HTML CoreDoc instead of PDF

File Changes:

Directory: /documentation/ ==========================

File [modified]: index.php Delta lines: +1 -1 =================================================================== --- documentation/index.php 2011-10-25 13:51:37 UTC (rev 730) +++ documentation/index.php 2011-10-25 13:52:44 UTC (rev 731) @@ -23,7 +23,7 @@ <li><a href="UsersGuide/UsersGuide.html">User's guide</a> <li><a href="ReferenceManual/ReferenceManual.html">Reference manual</a> <li><a href="MaintGuide/MaintGuide.html">Maintainers' guide (draft version)</a> - <li><a href="CoreDoc.pdf">Advanced Concepts</a> + <li><a href="CoreDoc/documentation.html">Advanced Concepts</a> </ul> </ul>