Initial commit. (~105 MB)

web/Makefile

@@ -0,0 +1,14 @@
+.PHONY:		all upload
+
+all:		../index.html
+
+#
+# @@@ upload is obsolete, maybe even unnecessary (TBD)
+#
+
+upload:		../index.html
+		rsync -v --progress * \
+		  werner@host:/home/httpd/almesberger/misc/ben/scan/
+
+../index.html:	style.sh index.sh
+		. ./index.sh >$@ || { rm -f $@; exit 1; }