d5eab8f
Fix the spaces vs. tabs I mentioned, .gz man page extension in case it doesn't get compressed and an unneeded double slash.