]> git.tuebingen.mpg.de Git - dss.git/blobdiff - Makefile
Support local make files.
[dss.git] / Makefile
index a60a65b3e34e99f643ff4493cfff0c1b8d76a44d..c8242b4f9e3ecc96e3c7da222bf1079a05640d62 100644 (file)
--- 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