common-html.mk

   1 # Installation/uninstallation and distribution for .html files.
   2 # htmlname    -- html base name (e.g. maxima or xmaxima)
   3 # htmlinstdir -- html installation directory
   4
   5 install-data-local: install-maxima-html
   6 install-maxima-html: $(wildcard $(htmlname).html $(htmlname)_*.html)
   7         @d=$(DESTDIR)$(htmlinstdir); \
   8         test -d $$d && $(mkinstalldirs) $$d; \
   9         list="$^"; for p in $$list; do \
  10           b=$${p#$(builddir)/}; \
  11           s=$${p#$(srcdir)/}; \
  12           if test -f $(builddir)/$$b; then \
  13             t=`dirname $$d/$$b`; \
  14             test -d $$t || $(mkinstalldirs) $$t; \
  15             echo " $(INSTALL_DATA) BUILDDIR/$$b $$d/$$b"; \
  16             $(INSTALL_DATA) $(builddir)/$$b $$d/$$b; \
  17           elif test -f $(srcdir)/$$s; then \
  18             t=`dirname $$d/$$s`; \
  19             test -d $$t || $(mkinstalldirs) $$t; \
  20             echo " $(INSTALL_DATA) SRCDIR/$$s $$d/$$s"; \
  21             $(INSTALL_DATA) $(srcdir)/$$s $$d/$$s; \
  22           elif test -f $$p; then \
  23             t=`dirname $$d/$$p`; \
  24             test -d $$t || $(mkinstalldirs) $$t; \
  25             echo " $(INSTALL_DATA) $$p $$d/$$p"; \
  26             $(INSTALL_DATA) $$p $$d/$$p; \
  27           fi; \
  28         done
  29
  30 uninstall-local: uninstall-maxima-html
  31 uninstall-maxima-html:
  32         rm -f $(DESTDIR)$(htmlinstdir)/$(htmlname).html
  33         rm -f $(DESTDIR)$(htmlinstdir)/$(htmlname)_*.html
  34
  35 dist-hook: dist-maxima-html
  36 dist-maxima-html: $(wildcard $(htmlname).html $(htmlname)_*.html)
  37         @builddirstrip=`echo "$(builddir)" | sed 's|.|.|g'`; \
  38         list="$^" ; \
  39         for p in $$list; do \
  40           f=`echo "$$p" | sed "s|^$$builddirstrip/||"`; \
  41           test -f $(distdir)/$$f || cp -p $(builddir)/$$f $(distdir)/$$f; \
  42         done
  43
  44