]> git.tuebingen.mpg.de Git - dss.git/commit
projects / dss.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 912ab3c) | 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>
Mon, 20 May 2024 18:25:23 +0000 (20:25 +0200)
commit4b3fe87cca37a9959fdf46749d7d915ad6609e5b
tree30b6a9ea359ce7112f1f917c1347370dc74bed5dtree | snapshot
parent912ab3c8932a668b972fb7efe5f924d796c72dcbcommit | 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