diff --git a/bin/man9 b/bin/9man
similarity index 100%
rename from bin/man9
rename to bin/9man