-%.xml : % make_numbered_listing.py
- ./make_numbered_listing.py $<
-
-install-data-local:
- mkdir -p $(DESTDIR)$(docdir)/html
- @for i in $(HTML_FILES); do \
- echo "$(INSTALL_DATA) $$i $(DESTDIR)$(docdir)/html"; \
- $(INSTALL_DATA) $$i $(DESTDIR)$(docdir)/html; \
- done