Ticket #19965: patch-doc_Makefile.in

File patch-doc_Makefile.in, 818 bytes (added by dbraband@…, 15 years ago)
Line 
1--- doc/Makefile.in.orig        2009-02-13 17:55:22.000000000 +0100
2+++ doc/Makefile.in     2009-06-16 10:11:55.000000000 +0200
3@@ -748,17 +748,17 @@
4 
5 
6 install-data-local: $(doc_FILES)
7-       $(mkinstalldirs) $(DESTDIR)$(prefix)/doc
8-       echo ${INSTALL_DATA} docs $(DESTDIR)$(prefix)/doc/
9+       $(mkinstalldirs) $(DESTDIR)$(prefix)/share/doc/mnogosearch/
10+       echo ${INSTALL_DATA} docs $(DESTDIR)$(prefix)/share/doc/mnogosearch/
11        list='${doc_FILES}'; \
12        for p in $$list; do \
13-               ${INSTALL_DATA} $(srcdir)/$$p $(DESTDIR)$(prefix)/doc/ ; \
14+               ${INSTALL_DATA} $(srcdir)/$$p $(DESTDIR)$(prefix)/share/doc/mnogosearch ; \
15        done
16 
17 uninstall-local:
18        list='${doc_FILES}'; \
19        for p in $$list; do \
20-               rm -f $(DESTDIR)$(prefix)/doc/$$p ; \
21+               rm -f $(DESTDIR)$(prefix)/share/doc/mnogosearch/$$p ; \
22        done
23 
24 index.html: $(XML_SRC_EN) mnogo.dsl