summaryrefslogtreecommitdiff
path: root/web
diff options
context:
space:
mode:
Diffstat (limited to 'web')
-rw-r--r--web/Makefile12
1 files changed, 12 insertions, 0 deletions
diff --git a/web/Makefile b/web/Makefile
new file mode 100644
index 0000000..449f3f9
--- /dev/null
+++ b/web/Makefile
@@ -0,0 +1,12 @@
+FIGS = wt-start wt-plain wt-pin-type wt-glabel wt-index wt-history wt-diff \
+ wt-diff-old wt-diff-new
+
+.PHONY: upload
+
+index.html: $(FIGS:%=%.png)
+
+%.png: %.fig
+ fig2dev -L png -S 4 $< >$@ || { rm -f $@; exit 1; }
+
+upload: $(FIGS:%=%.png)
+ neo900 index.html $(FIGS:%=%.png) pub/werner/tmp/eeshow/