Fix the online manual page.
treedfbbc2cffd6f2a2a4fafefc498efdfeec4c8e7b6
-rw-r--r-- 133 .gitignore
-rw-r--r-- 1048 TODO
-rwxr-xr-x 229 creatediff
-rwxr-xr-x 547 createtar
-rw-r--r-- 506 doxygen.cfg
drwxr-xr-x - herrie
drwxr-xr-x - misc
-rwxr-xr-x 261 syncmirror
-rwxr-xr-x 346 updatestuff
-rwxr-xr-x 195 win32_configure
drwxr-xr-x - www