Site-specific Makefile configuration.

2025-08-30 22:05:23 +00:00 · 1998-03-17 06:06:49 +00:00
parent d2e7c14983
commit 639f79f8cf
1 changed files with 3 additions and 0 deletions
--- a/site.conf
+++ b/site.conf
@@ -0,0 +1,3 @@
+# Put local site configuration stuff here to override the default
+# settings in Makefile.conf
+