--- ./Makefile	2023-06-15 13:26:42.000000000 -0400
+++ Makefile	2023-06-15 13:27:08.000000000 -0400
@@ -36,8 +36,8 @@
 
 # This should not be in the default build, as users may not have Perl
 # installed.  This is only interesting to developers.
-docs:
-	(cd doc; $(MAKE) all)
+man:
+	(cd doc; $(MAKE) man)
 
 # We need a "dev-all" target that builds the docs plus binaries, but
 # that doesn't work since we require the user to specify the target.  More