+install_docs: $(INSTALL_HEADERS)
+ $(INSTALL_DIR) $(DESTDIR)$(docdir)
+ for i in $(INSTALL_DOCS); do \
+ $(INSTALL_DOC) $(INSTALL_OPTS) $$i $(DESTDIR)$(docdir); \
+ done
+ $(INSTALL_DIR) $(INSTALL_OPTS) $(DESTDIR)$(docdir)/html; \
+ for i in $(INSTALL_LIBRARY_DOCS); do \
+ $(INSTALL_DOC) $(INSTALL_OPTS) $$i $(DESTDIR)$(docdir)/libraries/; \
+ done
+ for i in $(INSTALL_HTML_DOC_DIRS); do \
+ $(INSTALL_DIR) $(INSTALL_OPTS) $(DESTDIR)$(docdir)/html/`basename $$i`; \
+ $(INSTALL_DOC) $(INSTALL_OPTS) $$i/* $(DESTDIR)$(docdir)/html/`basename $$i`; \
+ done
+