summaryrefslogtreecommitdiffstats
path: root/pkgs/development/tools/documentation
diff options
context:
space:
mode:
authorVladimír Čunát <v@cunat.cz>2019-05-26 10:38:16 +0200
committerFrederik Rietdijk <freddyrietdijk@fridh.nl>2019-05-26 11:03:50 +0200
commit451be596d3f640426736b6c1bbc19deaac1008aa (patch)
tree53fbf3faaec3c1247ae9bd7b2354c45bb7901c14 /pkgs/development/tools/documentation
parentb2ab860db3996f28236c9ed92f08831dd6c6c5ef (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.patch24
-rw-r--r--pkgs/development/tools/documentation/gtk-doc/default.nix2
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 f7e37a1a5e5a..000000000000
--- 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 44b5384106ea..ee2ca64ffebf 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";