]> git.tue.mpg.de Git - dss.git/commit
projects / dss.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1184ae7) | patch
index.html: Move man page to separate web page.
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 7 May 2024 23:08:41 +0000 (01:08 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 2 Jul 2024 16:52:03 +0000 (18:52 +0200)
commit5713f885778f78e48f1f9389dd21f0cb586f6642
tree48ef3d4cb264f788216e72888d8514b8543d6db1tree | snapshot
parent1184ae71682652204fbb7b23a2085e6f19ffc7b2commit | diff
index.html: Move man page to separate web page.

This shortens index.html and simplifies the build because we can
ditch the sed command which cuts out the body of the html generated
by groff(1).
Makefile diff | blob | history
index.html.m4 diff | blob | history
DSS - dyadic snapshot scheduler