Add "install-html" and "install-pdf" targets to Makefile.

This commit is contained in:
Samuel Bronson 2012-10-02 23:48:14 -04:00 committed by Eli Barzilay
parent e9d830badb
commit a86f1751bc

View File

@ -190,6 +190,15 @@ install-no-both:
install-gracket-both:
cd gracket; $(MAKE) install-both
# Docs install ----------------------------------------
# The "install" target already does this, but it does tons more too.
install-html:
$(MAKE) install PLT_SETUP_OPTIONS="-nxiId $(PLT_SETUP_OPTIONS)"
install-pdf:
$(MAKE) install PLT_SETUP_OPTIONS="-nxiId --doc-pdf $(docdir)/pdf $(PLT_SETUP_OPTIONS)"
# Clean ----------------------------------------
clean: