| ... | ... |
@@ -91,19 +91,19 @@ |
| 91 | 91 |
|
| 92 | 92 |
install-html-local: doc/html |
| 93 | 93 |
@$(NORMAL_INSTALL) |
| 94 |
$(mkinstalldirs) $(DESTDIR)$(htmldir)/ |
|
| 94 |
$(mkinstalldirs) $(DESTDIR)$(htmldir)/html |
|
| 95 | 95 |
for p in doc/html/*.{html,css,png,map,gif,tag} ; do \
|
| 96 | 96 |
f="`echo $$p | sed -e 's|^.*/||'`"; \ |
| 97 |
echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/docs/$$f"; \ |
|
| 98 |
$(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/docs/$$f; \ |
|
| 97 |
echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/html/$$f"; \ |
|
| 98 |
$(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/html/$$f; \ |
|
| 99 | 99 |
done |
| 100 | 100 |
|
| 101 | 101 |
uninstall-local: |
| 102 | 102 |
@$(NORMAL_UNINSTALL) |
| 103 | 103 |
for p in doc/html/*.{html,css,png,map,gif,tag} ; do \
|
| 104 | 104 |
f="`echo $$p | sed -e 's|^.*/||'`"; \ |
| 105 |
echo " rm -f $(DESTDIR)$(htmldir)/docs/$$f"; \ |
|
| 106 |
rm -f $(DESTDIR)$(htmldir)/docs/$$f; \ |
|
| 105 |
echo " rm -f $(DESTDIR)$(htmldir)/html/$$f"; \ |
|
| 106 |
rm -f $(DESTDIR)$(htmldir)/html/$$f; \ |
|
| 107 | 107 |
done |
| 108 | 108 |
|
| 109 | 109 |
.PHONY: update-external-tags |
0 comments (0 inline)