diff options
| author | worldofpeace <worldofpeace@protonmail.ch> | 2019-05-18 14:50:56 -0400 |
|---|---|---|
| committer | worldofpeace <worldofpeace@protonmail.ch> | 2019-05-18 15:05:54 -0400 |
| commit | 0e2768050a7fee157556679b31773b75a935d01d (patch) | |
| tree | f15e77ffd97cc43b85a361d34363750f9b9cbf18 /pkgs/development/tools/documentation | |
| parent | 064ca0afe9c9983d6735cf10d28be6c430409cae (diff) | |
gtk-doc: fix css file permissions
Fixes https://gitlab.gnome.org/GNOME/gtk-doc/issues/84 which
was breaking the documentation build for glib.
The patch was based off an upstream pr [0] but
completed with the requested changes.
[0]: https://gitlab.gnome.org/GNOME/gtk-doc/merge_requests/27
Diffstat (limited to 'pkgs/development/tools/documentation')
| -rw-r--r-- | pkgs/development/tools/documentation/gtk-doc/0001-highlight-fix-permission-on-file-style.patch | 24 | ||||
| -rw-r--r-- | pkgs/development/tools/documentation/gtk-doc/default.nix | 2 |
2 files changed, 26 insertions, 0 deletions
diff --git a/pkgs/development/tools/documentation/gtk-doc/0001-highlight-fix-permission-on-file-style.patch b/pkgs/development/tools/documentation/gtk-doc/0001-highlight-fix-permission-on-file-style.patch new file mode 100644 index 000000000000..f7e37a1a5e5a --- /dev/null +++ b/pkgs/development/tools/documentation/gtk-doc/0001-highlight-fix-permission-on-file-style.patch @@ -0,0 +1,24 @@ +From 95a75c95c5c4e641ce7cda0ded968d66f07f822a Mon Sep 17 00:00:00 2001 +From: worldofpeace <worldofpeace@protonmail.ch> +Date: Sat, 18 May 2019 14:44:08 -0400 +Subject: [PATCH] highlight: fix permission on file style + +--- + gtkdoc/highlight.py | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/gtkdoc/highlight.py b/gtkdoc/highlight.py +index 8f6e470..d11c432 100644 +--- a/gtkdoc/highlight.py ++++ b/gtkdoc/highlight.py +@@ -47,6 +47,6 @@ def highlight_code(code, lang='c'): + + + def append_style_defs(css_file_name): +- os.chmod(css_file_name, stat.S_IWRITE) ++ os.chmod(css_file_name, 0o664) + with open(css_file_name, 'at', newline='\n', encoding='utf-8') as css: + css.write(HTML_FORMATTER.get_style_defs()) +-- +2.21.0 + diff --git a/pkgs/development/tools/documentation/gtk-doc/default.nix b/pkgs/development/tools/documentation/gtk-doc/default.nix index ee2ca64ffebf..44b5384106ea 100644 --- a/pkgs/development/tools/documentation/gtk-doc/default.nix +++ b/pkgs/development/tools/documentation/gtk-doc/default.nix @@ -27,6 +27,8 @@ stdenv.mkDerivation rec { patches = [ passthru.respect_xml_catalog_files_var_patch + # https://gitlab.gnome.org/GNOME/gtk-doc/issues/84 + ./0001-highlight-fix-permission-on-file-style.patch ]; outputDevdoc = "out"; |