+in agedu do ./mkauto.sh
+
+# Build the man page. This also tests the automake setup to ensure
+# configure actually works; but we use a self-delegation (i.e. do all
+# of this in a throwaway copy of the build directory) to avoid
+# accidentally shipping any outputs of configure. Instead we return
+# only the actual man page from the delegation environment.
+delegate -
+ in agedu do ./configure
+ in agedu do make doc
+ return agedu/*.1
+enddelegate