Fixes small documentation bug.
tree3faa0a2f5cc1bf7e7677daeb8f3ef9591a25f863
-rw-r--r-- 17 .cvsignore
-rw-r--r-- 15008 COPYRIGHT
-rw-r--r-- 116248 ChangeLog
-rw-r--r-- 1629 Makefile
-rw-r--r-- 19699 README
-rw-r--r-- 19460 ReleaseNotes
drwxr-xr-x - doc
drwxr-xr-x - makefiles
drwxr-xr-x - source
drwxr-xr-x - util