]> git.pond.sub.org Git - empserver/commit
Don't put broken links in HTML info pages
authorMarkus Armbruster <armbru@pond.sub.org>
Sat, 11 May 2013 14:44:40 +0000 (16:44 +0200)
committerMarkus Armbruster <armbru@pond.sub.org>
Sun, 12 May 2013 16:53:02 +0000 (18:53 +0200)
commit59a199c69dba177dccf9035b84b823fad3a3614c
treefb85b5f93a9ecf7ecfcf86e4444241bd718d3565
parent7a730be185fb32ba3680e3824804ec8b02414f8c
Don't put broken links in HTML info pages

Pass the valid info page names to emp2html.pl, and convert only valid
references to links there.
Make.mk
info/emp2html.pl