summaryrefslogtreecommitdiff
path: root/GNUmakefile.in
diff options
context:
space:
mode:
authorGraham Percival <graham@percival-music.ca>2009-12-19 15:31:21 +0000
committerGraham Percival <graham@percival-music.ca>2009-12-19 15:43:24 +0000
commit3fd858f7bc65da06c4d24b20afab2267d98aa41e (patch)
tree4f86c8ba4f3e65b6e1083e286669f6c80231cb4e /GNUmakefile.in
parent111ce0d411babc13448e9d6e296404f16c0308e6 (diff)
Web build: add special target for online website.
Diffstat (limited to 'GNUmakefile.in')
-rw-r--r--GNUmakefile.in6
1 files changed, 3 insertions, 3 deletions
diff --git a/GNUmakefile.in b/GNUmakefile.in
index 2538c22cba..2860088095 100644
--- a/GNUmakefile.in
+++ b/GNUmakefile.in
@@ -243,9 +243,9 @@ grand-replace:
################################################################
# website (without the rest of the docs)
-web-gop:
- touch Documentation/web.texi
- cd Documentation && make out=www out-www/web/index.html
+web-version:
+ touch $(top-src-dir)/Documentation/web.texi
+ cd $(top-build-dir)/Documentation && make out=www WEB_VERSION=yes out-www/web/index.html
################################################################