diff options
Diffstat (limited to 'utils/mnogosearch/doc.patch')
| -rw-r--r-- | utils/mnogosearch/doc.patch | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/utils/mnogosearch/doc.patch b/utils/mnogosearch/doc.patch new file mode 100644 index 0000000000..a6958ed82b --- /dev/null +++ b/utils/mnogosearch/doc.patch @@ -0,0 +1,25 @@ +--- doc/Makefile.in.orig Mon Mar 28 23:59:54 2005 ++++ doc/Makefile.in Fri Jun 10 15:32:00 2005 +@@ -174,7 +174,7 @@ + build_vendor = @build_vendor@ + datadir = @datadir@ + db_PROGS = @db_PROGS@ +-doc_FILES = ${@doc_FILES@} ++doc_FILES = ${HTML_ALL} + efOBJ = @efOBJ@ + exec_prefix = @exec_prefix@ + host = @host@ +@@ -687,11 +687,11 @@ + + + install-data-local: $(doc_FILES) +- $(mkinstalldirs) $(DESTDIR)$(prefix)/doc ++ $(mkinstalldirs) $(DESTDIR)$(prefix)/share/doc/mnogosearch + echo ${INSTALL_DATA} docs $(DESTDIR)$(prefix)/doc/ + list='${doc_FILES}'; \ + for p in $$list; do \ +- ${INSTALL_DATA} $(srcdir)/$$p $(DESTDIR)$(prefix)/doc/ ; \ ++ ${INSTALL_DATA} $(srcdir)/$$p $(DESTDIR)$(prefix)/share/doc/mnogosearch ; \ + done + + uninstall-local: |