gtk-doc-chmod.patch

   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())