diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-27 09:36:25 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-27 09:36:25 +0000 |
| commit | 6077d258b500b20e1e705f5cda567400240c7804 (patch) | |
| tree | a5d41c050bd69f91476994b0d30c0a8f1e7957b5 /doc/Makefile | |
| parent | Initial commit. (diff) | |
| download | devscripts-upstream.tar.xz devscripts-upstream.zip | |
Adding upstream version 2.21.3+deb11u1.upstream/2.21.3+deb11u1upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 26 |
1 files changed, 26 insertions, 0 deletions
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)" $^ |