]> git.tue.mpg.de Git - dss.git/commit
Centralize meta information about dss.
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 7 May 2024 22:04:05 +0000 (00:04 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 2 Jul 2024 16:52:03 +0000 (18:52 +0200)
commit611b19b9cb83774230bf192a48ecf385ab7eabc3
tree80202d1d0f4acc4ecb415c890fed277f630c9371
parent86dc0edc270172494318d6fcda8686722116501f
Centralize meta information about dss.

This defines a couple of package related variables in Makefile,
renames dss.suite -> dss.suite.m4 and index.html.in -> index.html.m4,
and tweaks the recipes to generate dss.suite and index.html.in from
the m4 files, referring to these variables. The contents of the
README file are moved into Makefile so that the three paragraphs can
be printed with make README.
.gitignore
Makefile
README
dss.suite [deleted file]
dss.suite.m4 [new file with mode: 0644]
index.html.in [deleted file]
index.html.m4 [new file with mode: 0644]