2018-10-30 ihse Either copy old static pages, or new dynamic. ihse-manpages-branch
2018-10-30 ihse Add handling of footnotes to javascript filter. ihse-manpages-branch
2018-10-30 ihse For man pages: Depend also on js filter, and css file copy. ihse-manpages-branch
2018-10-30 ihse Fix links in pandoc filter. ihse-manpages-branch
2018-10-30 ihse Merge from default ihse-manpages-branch
2018-10-26 ihse Move the man pages to their correct modules. ihse-manpages-branch
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 tip