diff options
| author | Michael Catanzaro <mcatanzaro@posteo.net> | 2019-05-21 20:59:01 +0000 |
|---|---|---|
| committer | Michael Catanzaro <mcatanzaro@posteo.net> | 2019-05-21 20:59:01 +0000 |
| commit | 9467f121fb728866a2366df65805aea1a587ac7e (patch) | |
| tree | aec44c3a06b619c708475c90986021d336e8546e | |
| parent | ce9523e9990358407cbc4f34f6dc999e32a6679f (diff) | |
| download | gtk-doc-9467f121fb728866a2366df65805aea1a587ac7e.tar.gz | |
Revert "highlight: make style-file writable before appending"
This reverts commit f87317d0981e3a4711cd394834a67eb419d399fe
| -rw-r--r-- | gtkdoc/highlight.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/gtkdoc/highlight.py b/gtkdoc/highlight.py index ded674e..6023d33 100644 --- a/gtkdoc/highlight.py +++ b/gtkdoc/highlight.py @@ -22,7 +22,6 @@ """ Highlight sourcecode snippets. """ -import os, stat from pygments import highlight from pygments.lexers import CLexer @@ -46,6 +45,5 @@ def highlight_code(code, lang='c'): def append_style_defs(css_file_name): - os.chmod(css_file_name, stat.S_IWRITE) with open(css_file_name, 'at', newline='\n', encoding='utf-8') as css: css.write(HTML_FORMATTER.get_style_defs()) |