]> git.tue.mpg.de Git - dss.git/commit
build: New phony target "www".
authorAndre Noll <maan@tuebingen.mpg.de>
Thu, 9 May 2024 00:12:17 +0000 (02:12 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 2 Jul 2024 16:52:03 +0000 (18:52 +0200)
commit6a078fc879c7720ceefc1797f2e3be9efaa339ee
tree7807977981a477a3ac05ddf38c15df1b851b30c7
parent4d9c6c9661b18e1338ea75652042ca93c2f886c7
build: New phony target "www".

This saves some typing as the simple "make www" now builds index.html
and the html version of the man page.
Makefile