equal
deleted
inserted
replaced
23 -rm -rf html |
23 -rm -rf html |
24 |
24 |
25 install-data-local: html/index.html |
25 install-data-local: html/index.html |
26 @$(NORMAL_INSTALL) |
26 @$(NORMAL_INSTALL) |
27 $(mkinstalldirs) $(DESTDIR)$(htmldir) |
27 $(mkinstalldirs) $(DESTDIR)$(htmldir) |
28 @dir='$(<D)'; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \ |
28 @dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \ |
29 f="`echo $$p | sed -e 's|^.*/||'`"; \ |
29 f="`echo $$p | sed -e 's|^.*/||'`"; \ |
30 echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \ |
30 echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \ |
31 $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f; \ |
31 $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f; \ |
32 done |
32 done |
33 |
33 |
34 uninstall-local: html/index.html |
34 uninstall-local: html/index.html |
35 @$(NORMAL_UNINSTALL) |
35 @$(NORMAL_UNINSTALL) |
36 @dir='$(<D)'; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \ |
36 @dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \ |
37 f="`echo $$p | sed -e 's|^.*/||'`"; \ |
37 f="`echo $$p | sed -e 's|^.*/||'`"; \ |
38 echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \ |
38 echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \ |
39 rm -f $(DESTDIR)$(htmldir)/$$f; \ |
39 rm -f $(DESTDIR)$(htmldir)/$$f; \ |
40 done |
40 done |