summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.hgignore1
-rw-r--r--Makefile3
2 files changed, 4 insertions, 0 deletions
diff --git a/.hgignore b/.hgignore
index b43ac9a..4d25839 100644
--- a/.hgignore
+++ b/.hgignore
@@ -4,6 +4,7 @@ syntax: glob
*.bak
*.gz
*.py[co]
+config.mk
misc/bundle/blib
misc/bundle/Makefile
misc/bundle/Makefile.old
diff --git a/Makefile b/Makefile
index c1d6c85..46dd199 100644
--- a/Makefile
+++ b/Makefile
@@ -14,6 +14,9 @@ GZIP = gzip -9n
VALIDATOR_URI = http://localhost/w3c-validator/check
+# Override the above variables in config.mk if needed.
+-include config.mk
+
all: htdocs/docs/errors.html htdocs/sgml-lib/catalog.xml $(GZIP_FILES)
htdocs/docs/errors.html: misc/docs_errors.pl share/templates/en_US/error_messages.cfg share/templates/en_US/docs_errors.tmpl htdocs/config/validator.conf