From: Ben Harris <bjh21@bjh21.me.uk>
Date: Fri, 5 Nov 2021 00:20:46 +0000 (+0000)
Subject: Split images for Web page into a new make target
X-Git-Tag: bedstead-002.004~9
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~bjharris/git?a=commitdiff_plain;h=f76da215907979782a008727a52012000331f668;p=bedstead-debian.git

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 9edd731..58f228f 100644
--- 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 \