diff options
author | Stefan Sauer <ensonic@users.sf.net> | 2018-03-18 20:02:03 +0100 |
---|---|---|
committer | Stefan Sauer <ensonic@users.sf.net> | 2018-03-18 20:02:03 +0100 |
commit | fec81c23ebb4171fabcad97787dadc458490215b (patch) | |
tree | 6f36105e34b9925dc6d61b306a813379c78bdf56 /gtkdoc-mkhtml2.in | |
parent | c778283dcb9ba11d93a1c3281b9567e97b3f8770 (diff) | |
download | gtk-doc-fec81c23ebb4171fabcad97787dadc458490215b.tar.gz |
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.
Diffstat (limited to 'gtkdoc-mkhtml2.in')
-rw-r--r-- | gtkdoc-mkhtml2.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gtkdoc-mkhtml2.in b/gtkdoc-mkhtml2.in index 8928678..06355cc 100644 --- a/gtkdoc-mkhtml2.in +++ b/gtkdoc-mkhtml2.in @@ -31,6 +31,9 @@ if __name__ == '__main__': parser.add_argument('--version', action='version', version=config.version) parser.add_argument('args', nargs='*', help='MODULE DRIVER_FILE') + # TODO: only for testing, replace with env-var + parser.add_argument('--uninstalled', action='store_true', default=False, + help='???') options = parser.parse_args() if len(options.args) != 2: |