From: Andre Noll <maan@tuebingen.mpg.de>
Date: Thu, 25 Apr 2024 13:38:23 +0000 (+0200)
Subject: Support local make files.
X-Git-Tag: v1.0.2~31
X-Git-Url: http://git.tue.mpg.de/?a=commitdiff_plain;h=73e0fd24ed41db7882948ee4d7ff63119cf5a67d;p=dss.git

Support local make files.

These additional targets are handy for site-local targets such as
installing the web files or deploying the executable and the man page
on a remote server.
---

diff --git a/.gitignore b/.gitignore
index 4aafb48..36dfcfa 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
 Makefile.deps
+Makefile.local
 *.o
 *.swp
 dss.lsg.*
diff --git a/Makefile b/Makefile
index a60a65b..c8242b4 100644
--- a/Makefile
+++ b/Makefile
@@ -71,3 +71,5 @@ index.html: dss.1.html index.html.in INSTALL README NEWS
 	sed -e '1,/@INSTALL@/d' -e '/@MAN_PAGE@/,$$d' index.html.in >> $@
 	cat dss.1.html >> $@
 	sed -e '1,/@MAN_PAGE@/d' index.html.in >> $@
+
+-include Makefile.local