DEVEL15-html-man-index-links-20060802
authorRuss Allbery <rra@stanford.edu>
Mon, 14 Jul 2008 02:59:09 +0000 (02:59 +0000)
committerRuss Allbery <rra@stanford.edu>
Mon, 14 Jul 2008 02:59:09 +0000 (02:59 +0000)
commit01525e41f9fb8707ab2a35f497334e67429f102a
tree959f0e40450858a51f2526b9a312852f67a652a7
parent988a6de64e5ad1b7f133be93df7b08c3d8624f13
DEVEL15-html-man-index-links-20060802

Add links back to the index at the top and bottom of each generated page.

(cherry picked from commit b57f675bc3364c17fccc58ed56307f91213d3b3d)
doc/man-pages/generate-html
doc/man-pages/style.css