Build the HTML man page for my website, as part of the build script.

[sgt/agedu] / Buildscr

diff --git a/Buildscr b/Buildscr
index a49e7d0..0ed40e3 100644 (file)
--- a/Buildscr
+++ b/Buildscr
@@ -19,4 +19,7 @@ in . do cp -R agedu agedu-r$(revision)
 in . do rm agedu-r$(revision)/GNUmakefile
 in . do tar chzvf agedu-r$(revision).tar.gz agedu-r$(revision)
 
+in agedu do halibut --html=manpage.html agedu.but
+
 deliver agedu-r$(revision).tar.gz $@
+deliver agedu/manpage.html $@