Safer fix to keep website.make more separate.

diff --git a/GNUmakefile.in b/GNUmakefile.in
index 74c269d4e28397fcf90d4e9b8c37743f759a1493..6574e6540ee8f8f92acfd91599e75292cde14ff0 100644 (file)
--- a/GNUmakefile.in
+++ b/GNUmakefile.in
@@ -290,5 +290,7 @@ test-snippets-clean:
        rm -rf out/lybook-testdb
 
 # we want this separate for security; see CG 4.2.  -gp
-include $(top-src-dir)/website.make
+website:
+       $(MAKE) -f $(top-src-dir)/website.make \
+               top-src-dir=$(top-src-dir) website