ickc 2a0e2e6fd6 slidy uses https instead of http (#3848) ...

grep -rl 'http://www.w3.org/Talks/Tools/Slidy2' . | xargs sed -i 's/http:\/\/www\.w3\.org\/Talks\/Tools\/Slidy2/https:\/\/www\.w3\.org\/Talks\/Tools\/Slidy2/g'

2017-08-17 10:11:49 -07:00

..

capitalizeHeaders.hs

Don't capitalize header links in man page.

2015-07-21 10:24:59 -07:00

pandoc.1

slidy uses https instead of http (#3848)

2017-08-17 10:11:49 -07:00

pandoc.1.template

New method for building man pages.

2015-07-01 11:27:15 -07:00

removeLinks.hs

Updated filter for man pages.

2016-01-02 15:52:33 -08:00

removeNotes.hs

New method for building man pages.

2015-07-01 11:27:15 -07:00