From a86f1751bc0dacd609966a1d3ff0c73a80e25501 Mon Sep 17 00:00:00 2001 From: Samuel Bronson Date: Tue, 2 Oct 2012 23:48:14 -0400 Subject: [PATCH] Add "install-html" and "install-pdf" targets to Makefile. --- src/Makefile.in | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/src/Makefile.in b/src/Makefile.in index c659147437..3a3f26afae 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -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: