mkhtml2: add code to copy html resources
commitfec81c23ebb4171fabcad97787dadc458490215b
authorStefan Sauer <ensonic@users.sf.net>
Sun, 18 Mar 2018 19:02:03 +0000 (18 20:02 +0100)
committerStefan Sauer <ensonic@users.sf.net>
Sun, 18 Mar 2018 19:02:03 +0000 (18 20:02 +0100)
tree6f36105e34b9925dc6d61b306a813379c78bdf56
parentc778283dcb9ba11d93a1c3281b9567e97b3f8770
mkhtml2: add code to copy html resources

Extract code in mkhtml that copies the png/css files into a helper and use
the same in mkhtml2 (as a copy for now). Add the pygments style to the
resulting css.
gtkdoc-mkhtml2.in
gtkdoc/mkhtml.py
gtkdoc/mkhtml2.py