From efe47381c599b07e4c7bbdb2e91e8090a541c887 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 7 Apr 2024 17:53:52 +0200 Subject: Adding upstream version 2.23.4+deb12u1. Signed-off-by: Daniel Baumann --- doc/Makefile | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 doc/Makefile (limited to 'doc/Makefile') diff --git a/doc/Makefile b/doc/Makefile new file mode 100644 index 0000000..59d1ae1 --- /dev/null +++ b/doc/Makefile @@ -0,0 +1,26 @@ +include ../Makefile.common + +all: devscripts.1 + +clean: + rm -f devscripts.1 devscripts.1.tmp.* + +# There is a slight chance this gets called twice, once here from here and once +# from ../po4a/Makefile. Treat files with care. +PID := $(shell echo $$$$-$$PPID) +devscripts.1: devscripts.1.in ../README genmanpage.pl + cat $< > $@.tmp.$(PID) + cat ../README | \ + awk '/^- annotate-output/,/^ mailing lists./'|sed -e '/^[[:space:]]*$$/d' -e 's/^/ /g' | \ + perl genmanpage.pl \ + >> $@.tmp.$(PID) + mv $@.tmp.$(PID) $@ + +install: install_man1 install_man5 + +install_man1: *.1 devscripts.1 + install -d "$(DESTDIR)$(MAN1DIR)" + install -m0644 -t "$(DESTDIR)$(MAN1DIR)" $^ +install_man5: *.5 + install -d "$(DESTDIR)$(MAN5DIR)" + install -m0644 -t "$(DESTDIR)$(MAN5DIR)" $^ -- cgit v1.2.3