]> git.tue.mpg.de Git - lopsub.git/commit
build: Avoid "html" rule with empty recipe.
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 7 Jul 2020 18:34:19 +0000 (20:34 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 7 Jul 2020 18:47:28 +0000 (20:47 +0200)
commit61ec5823d7b64fcdfab8c0ddb959bd68dd90e07a
tree340ae28eff103834045a30ac8726931872fe8cee
parent76e953dde7347553b405863201dfb7859674206c
build: Avoid "html" rule with empty recipe.

This was over-engineered, and only one of the three rules which
create .html files depends on both the header and the footer.
Makefile