[gtk-doc] highlight: make style-file writable before appending

[Stefan Sauer <stefkost src gnome org>]

commit f87317d0981e3a4711cd394834a67eb419d399fe
Author: Stefan Sauer <ensonic users sf net>
Date:   Wed May 8 21:04:01 2019 +0200

    highlight: make style-file writable before appending

 gtkdoc/highlight.py | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/gtkdoc/highlight.py b/gtkdoc/highlight.py
index 6023d33..ded674e 100644
--- a/gtkdoc/highlight.py
+++ b/gtkdoc/highlight.py
@@ -22,6 +22,7 @@
 """
 Highlight sourcecode snippets.
 """
+import os, stat
 
 from pygments import highlight
 from pygments.lexers import CLexer
@@ -45,5 +46,6 @@ 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())