1 # -*- python; coding: utf-8 -*-
3 # gtk-doc - GTK DocBook documentation generator.
4 # Copyright (C) 1998 Owen Taylor
5 # 2001-2005 Damon Chaplin
6 # 2009-2017 Stefan Sauer
9 # This program is free software; you can redistribute it and/or modify
10 # it under the terms of the GNU General Public License as published by
11 # the Free Software Foundation; either version 2 of the License, or
12 # (at your option) any later version.
14 # This program is distributed in the hope that it will be useful,
15 # but WITHOUT ANY WARRANTY; without even the implied warranty of
16 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 # GNU General Public License for more details.
19 # You should have received a copy of the GNU General Public License
20 # along with this program; if not, write to the Free Software
21 # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
33 def run_xsltproc(options
, args
):
34 command
= [config
.xsltproc
]
35 # we could do "$path_option $PWD " to avoid needing rewriting entities that
36 # are copied from the header into docs under xml
37 if os
.environ
.get("GTKDOC_PROFILE", '') == '':
39 command
+= ['--path'] + options
.path
40 return subprocess
.call(command
+ args
)
42 command
+= ['--profile']
44 command
+= ['--path'] + options
.path
45 return subprocess
.call(command
+ args
, stderr
=open('profile.txt', 'w'))
49 module
= options
.args
[0]
50 document
= options
.args
[1]
55 remaining_args
= options
.args
[2:]
57 if options
.uninstalled
:
58 # this does not work from buiddir!=srcdir
59 gtkdocdir
= os
.path
.split(sys
.argv
[0])[0]
60 if not os
.path
.exists(gtkdocdir
+ '/gtk-doc.xsl'):
61 # try to src dir (set from makefiles) too
62 if os
.path
.exists(os
.environ
.get("ABS_TOP_SRCDIR", '') + '/gtk-doc.xsl'):
63 gtkdocdir
= os
.environ
['ABS_TOP_SRCDIR']
64 styledir
= gtkdocdir
+ '/style'
66 gtkdocdir
= os
.path
.join(config
.datadir
, 'gtk-doc/data')
69 res
= run_xsltproc(options
, [
82 'chunker.output.quiet',
83 quiet
] + remaining_args
+ [gtkdocdir
+ '/gtk-doc.xsl', document
])
86 if os
.environ
.get("GTKDOC_PROFILE", '') != '':
87 subprocess
.check_call('cat profile.txt | gprof2dot.py -e 0.01 -n 0.01 | dot -Tpng -o profile.png', shell
=True)
89 # copy navigation images and stylesheets to html directory ...
90 for f
in glob(styledir
+ '/*.png') + glob(styledir
+ '/*.css'):
93 open('../html.stamp', 'w').write('timestamp')