... | ... |
@@ -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)