diff options
Diffstat (limited to 'x11-toolkits/gnustep-gui/files/patch-texinfo')
-rw-r--r-- | x11-toolkits/gnustep-gui/files/patch-texinfo | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/x11-toolkits/gnustep-gui/files/patch-texinfo b/x11-toolkits/gnustep-gui/files/patch-texinfo new file mode 100644 index 000000000000..d9f8f5b1b64e --- /dev/null +++ b/x11-toolkits/gnustep-gui/files/patch-texinfo @@ -0,0 +1,11 @@ +--- Documentation/manual/GNUmakefile.orig 2020-04-05 20:04:40 UTC ++++ Documentation/manual/GNUmakefile +@@ -3,6 +3,8 @@ include $(GNUSTEP_MAKEFILES)/common.make + + DOCUMENT_NAME = AppKit + ++GNUSTEP_TEXI2HTML_FLAGS = --output=AppKit ++ + AppKit_TEXI_FILES = \ + AppKit.texi \ + applicationmakefiles.texi \ |