From 73e0fd24ed41db7882948ee4d7ff63119cf5a67d Mon Sep 17 00:00:00 2001 From: Andre Noll Date: Thu, 25 Apr 2024 15:38:23 +0200 Subject: [PATCH] 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. --- .gitignore | 1 + Makefile | 2 ++ 2 files changed, 3 insertions(+) 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 -- 2.39.2