equal
deleted
inserted
replaced
33 -rm -rf html |
33 -rm -rf html |
34 |
34 |
35 install-data-local: html/index.html |
35 install-data-local: html/index.html |
36 @$(NORMAL_INSTALL) |
36 @$(NORMAL_INSTALL) |
37 $(mkinstalldirs) $(DESTDIR)$(htmldir) |
37 $(mkinstalldirs) $(DESTDIR)$(htmldir) |
38 @dir='html'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \ |
38 @dir='html'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.gif $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \ |
39 f="`echo $$p | sed -e 's|^.*/||'`"; \ |
39 f="`echo $$p | sed -e 's|^.*/||'`"; \ |
40 echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \ |
40 echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \ |
41 $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f; \ |
41 $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f; \ |
42 done |
42 done |
43 |
43 |
44 uninstall-local: html/index.html |
44 uninstall-local: html/index.html |
45 @$(NORMAL_UNINSTALL) |
45 @$(NORMAL_UNINSTALL) |
46 @dir='html'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \ |
46 @dir='html'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.gif $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \ |
47 f="`echo $$p | sed -e 's|^.*/||'`"; \ |
47 f="`echo $$p | sed -e 's|^.*/||'`"; \ |
48 echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \ |
48 echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \ |
49 rm -f $(DESTDIR)$(htmldir)/$$f; \ |
49 rm -f $(DESTDIR)$(htmldir)/$$f; \ |
50 done |
50 done |