diff --git a/man/man9/as.9 b/man/man1x/as.9
similarity index 100%
rename from man/man9/as.9
rename to man/man1x/as.9
diff --git a/man/man9/awk.9 b/man/man1x/awk.9
similarity index 100%
rename from man/man9/awk.9
rename to man/man1x/awk.9
diff --git a/man/man9/de.9 b/man/man1x/de.9
similarity index 100%
rename from man/man9/de.9
rename to man/man1x/de.9
diff --git a/man/man9/dis88.9 b/man/man1x/dis88.9
similarity index 100%
rename from man/man9/dis88.9
rename to man/man1x/dis88.9
diff --git a/man/man9/elle.9 b/man/man1x/elle.9
similarity index 100%
rename from man/man9/elle.9
rename to man/man1x/elle.9
diff --git a/man/man9/elvis.9 b/man/man1x/elvis.9
similarity index 100%
rename from man/man9/elvis.9
rename to man/man1x/elvis.9
diff --git a/man/man9/kermit.9 b/man/man1x/kermit.9
similarity index 100%
rename from man/man9/kermit.9
rename to man/man1x/kermit.9
diff --git a/man/man9/m4.9 b/man/man1x/m4.9
similarity index 100%
rename from man/man9/m4.9
rename to man/man1x/m4.9
diff --git a/man/man9/macros.9 b/man/man1x/macros.9
similarity index 100%
rename from man/man9/macros.9
rename to man/man1x/macros.9
diff --git a/man/man9/mined.9 b/man/man1x/mined.9
similarity index 100%
rename from man/man9/mined.9
rename to man/man1x/mined.9