d5eab8 Fix the spaces vs. tabs I mentioned, .gz man page extension in case it

Authored and Committed by thias 14 years ago
    Fix the spaces vs. tabs I mentioned, .gz man page extension in case it
        doesn't get compressed and an unneeded double slash.
    
        
file modified
+10 -10