8f406b40226fb034004d531be2703d51f51a2c28
-rwxr-xr-x 2472 help.hs
-rwxr-xr-x 9919 help.jhm
-rwxr-xr-x 8574 helpTOC.xml
drwxr-xr-x - html
drwxr-xr-x - icons