Split images for Web page into a new make target

"make all" shouldn't depend on things that aren't in the source
distribution, and now it doesn't.  The images that are only used for the
Web site are now generated by a separate "all-web" target.  I'm not sure
this is the right long-term approach, but it's good enough for now.

diff --git a/Makefile b/Makefile
index 9edd7319d1ef8543bf4fae28177a4395a217a5e0..58f228fbbc09ddf23634b78af45d11fae05fd616 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -15,8 +15,10 @@ DISTFILES = bedstead.c Makefile COPYING NEWS df.ps \
        bedstead-10-df.png bedstead-20-df.png \
        bedstead-complement.pdf
 
-all: $(DISTFILES) \
-     sample.png extended.png
+all: $(DISTFILES)
+
+.PHONY: all-web
+all-web: all sample.png extended.png
 
 .PHONY: experimental
 experimental: bedstead-chiseltip.otf bedstead-plotter-thin.otf \