Fix how file modification check is done, and fix accidental extraneous
[monkeysphere.git] / man /
drwxr-xr-x   ..
drwxr-xr-x - man1
drwxr-xr-x - man5
drwxr-xr-x - man8