- @rm -rf manual/
-
-install-data-local: install-html-local
-
-# rule to install the html documentation and tutorial in $(htmldir)
-install-html-local:
- @if ! test -d "$(DESTDIR)$(htmldir)"; then \
- $(mkinstalldirs) "$(DESTDIR)$(htmldir)"; \
- fi
- @cp -pr manual/ "$(DESTDIR)$(htmldir)"
- @cp -pr tutorial/ "$(DESTDIR)$(htmldir)"