diff --git a/docs/index.xml b/docs/index.xml index a3f1f36..a1ef949 100755 --- a/docs/index.xml +++ b/docs/index.xml @@ -13,7 +13,8 @@
This is an outdated procedures manual written by previous exec. Useful information from this should get moved into the new exec manual
. + href="execmanual.html">new exec manual.The procedures manual is written using LaTeX and is available in PDF format. The LaTeX source is also on-line.