From de70e0d3ea1b292671ecef4f0a03cc7f1697c78d Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Fri, 6 May 2022 01:11:53 -1000 Subject: [PATCH] ;doc: make siteall: rebuild the site and all manual versions --- Makefile | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 7df6414eb..fb44632a5 100644 --- a/Makefile +++ b/Makefile @@ -856,14 +856,16 @@ shakehelp-watch: \ # 3. manually: "make site" on hledger.org, or "make hledgerorg" elsewhere (cf Makefile.local). # This uses the existing Shake executable without rebuilding it, # as we don't want to immediately execute new code from any collaborator. +# make site - rebuilds current release and dev manuals +# make siteall - rebuilds all manual versions .PHONY: site -site: $(call def-help,site, update the hledger.org website (run on hledger.org, or run "make hledgerorg" elsewhere) ) +site%: $(call def-help,site, update the hledger.org website (run on hledger.org, or run "make hledgerorg" elsewhere) ) @[ ! -x Shake ] \ && echo 'Please run "make Shake" first (manual compilation of Shake.hs is required)' \ || ( \ echo; \ ./Shake -V webmanuals; \ - make -C site build; \ + make -C site build$*; \ ) 2>&1 | tee -a site.log # once VPS can build Shake again, replace the Shake/make lines with # ./Shake -V site; \