]>
Commit | Line | Data |
---|---|---|
dfc877b4 JB |
1 | --- gtk-doc-1.30/gtkdoc/highlight.py.orig 2019-05-08 21:03:58.000000000 +0200 |
2 | +++ gtk-doc-1.30/gtkdoc/highlight.py 2019-05-15 22:08:04.921285203 +0200 | |
3 | @@ -47,6 +47,7 @@ | |
4 | ||
5 | ||
6 | def append_style_defs(css_file_name): | |
7 | - os.chmod(css_file_name, stat.S_IWRITE) | |
8 | + st = os.stat(css_file_name) | |
9 | + os.chmod(css_file_name, st.st_mode | stat.S_IWRITE) | |
10 | with open(css_file_name, 'at', newline='\n', encoding='utf-8') as css: | |
11 | css.write(HTML_FORMATTER.get_style_defs()) |