Ben Harris f76da21590 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.
2021-11-05 00:20:46 +00:00
2021-10-16 21:58:25 +01:00
2021-10-16 21:58:25 +01:00
2021-10-16 23:14:54 +01:00
Description
No description provided
1.5 MiB
Languages
C 79.4%
HTML 6.6%
Python 6.2%
PostScript 4.4%
CSS 1.9%
Other 1.5%