- echo " $(INSTALL_DATA) $$d$$p $(DESTDIR)$(glibcxxinstalldir)/$$q"; \
- $(INSTALL_DATA) $$d$$p $(DESTDIR)$(glibcxxinstalldir)/$$q; \
+ echo " $(INSTALL_DATA) $$d$$p $(DESTDIR)$(stddir)/$$q"; \
+ $(INSTALL_DATA) $$d$$p $(DESTDIR)$(stddir)/$$q; \
+ done
+
+install-bitsHEADERS: $(bits_HEADERS)
+ @$(NORMAL_INSTALL)
+ $(mkinstalldirs) $(DESTDIR)$(bitsdir)
+ @list='$(bits_HEADERS)'; for p in $$list; do \
+ q=`echo $$p | sed -e 's,.*/,,'`; \
+ if test -f "$$p"; then d= ; else d="$(srcdir)/"; fi; \
+ echo " $(INSTALL_DATA) $$d$$p $(DESTDIR)$(bitsdir)/$$q"; \
+ $(INSTALL_DATA) $$d$$p $(DESTDIR)$(bitsdir)/$$q; \
+ done
+
+uninstall-stdHEADERS:
+ @$(NORMAL_UNINSTALL)
+ list='$(std_HEADERS)'; for p in $$list; do \
+ q=`echo $$p | sed -e 's,.*/,,'`; \
+ rm -f $(DESTDIR)$(stddir)/$$q; \