chiark / gitweb /
~bjharris / bedstead.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9236b2b) | patch
Split images for Web page into a new make target
authorBen Harris <bjh21@bjh21.me.uk>
Fri, 5 Nov 2021 00:20:46 +0000 (00:20 +0000)
committerBen Harris <bjh21@bjh21.me.uk>
Fri, 5 Nov 2021 00:20:46 +0000 (00:20 +0000)
commitf76da215907979782a008727a52012000331f668
tree9360776fb98cc7e0372218d1bac6b017a0c71f39tree | snapshot
parent9236b2b46eb2bd4d323753ed57c8738d169f0607commit | diff
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.
Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.