I promised in the docs that the HTML output directory would be
[sgt/agedu] / Buildscr
index 0ed40e3..76e5b2c 100644 (file)
--- a/Buildscr
+++ b/Buildscr
@@ -20,6 +20,16 @@ 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
+in agedu do halibut --html=tree.html tree.but
 
 deliver agedu-r$(revision).tar.gz $@
 deliver agedu/manpage.html $@
+deliver agedu/tree.html $@
+
+delegate windows
+  # FIXME: Cygwin alternative?
+  in agedu do cmd /c vcvars32 \& cl winscan.c
+  return agedu/winscan.exe
+enddelegate
+
+deliver agedu/winscan.exe ageduscan.exe