diff options
Diffstat (limited to 'editors/gedit/files/patch-docs_reference_Makefile.in')
| -rw-r--r-- | editors/gedit/files/patch-docs_reference_Makefile.in | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/editors/gedit/files/patch-docs_reference_Makefile.in b/editors/gedit/files/patch-docs_reference_Makefile.in new file mode 100644 index 000000000000..c2d56a9553bc --- /dev/null +++ b/editors/gedit/files/patch-docs_reference_Makefile.in @@ -0,0 +1,13 @@ +--- docs/reference/Makefile.in.orig 2007-12-21 11:30:30.000000000 +0100 ++++ docs/reference/Makefile.in 2007-12-21 11:55:58.000000000 +0100 +@@ -690,8 +690,8 @@ + done; \ + echo '-- Installing $(srcdir)/html/index.sgml' ; \ + $(INSTALL_DATA) $(srcdir)/html/index.sgml $(DESTDIR)$(TARGET_DIR) || :; \ +- which gtkdoc-rebase >/dev/null && \ +- gtkdoc-rebase --relative --dest-dir=$(DESTDIR) --html-dir=$(DESTDIR)$(TARGET_DIR) ; \ ++# which gtkdoc-rebase >/dev/null && \ ++# gtkdoc-rebase --relative --dest-dir=$(DESTDIR) --html-dir=$(DESTDIR)$(TARGET_DIR) ; \ + fi + + uninstall-local: |