diff options
author | Vladimír Čunát <v@cunat.cz> | 2019-05-26 10:38:16 +0200 |
---|---|---|
committer | Frederik Rietdijk <freddyrietdijk@fridh.nl> | 2019-05-26 11:03:50 +0200 |
commit | 451be596d3f640426736b6c1bbc19deaac1008aa (patch) | |
tree | 53fbf3faaec3c1247ae9bd7b2354c45bb7901c14 /pkgs/development/tools/documentation | |
parent | b2ab860db3996f28236c9ed92f08831dd6c6c5ef (diff) |
Revert "gtk-doc: fix css file permissions"
This reverts commit 0e2768050a7fee157556679b31773b75a935d01d. Let's revert the gtk-doc update for now; it causes too many problems.
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, 0 insertions, 26 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 deleted file mode 100644 index f7e37a1a5e5ab..0000000000000 --- a/pkgs/development/tools/documentation/gtk-doc/0001-highlight-fix-permission-on-file-style.patch +++ /dev/null @@ -1,24 +0,0 @@ -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 44b5384106ea3..ee2ca64ffebf3 100644 --- a/pkgs/development/tools/documentation/gtk-doc/default.nix +++ b/pkgs/development/tools/documentation/gtk-doc/default.nix @@ -27,8 +27,6 @@ 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"; |