diff options
Diffstat (limited to 'jindroush/man/Makefile')
| -rw-r--r-- | jindroush/man/Makefile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/jindroush/man/Makefile b/jindroush/man/Makefile new file mode 100644 index 0000000..bfe47c0 --- /dev/null +++ b/jindroush/man/Makefile @@ -0,0 +1,12 @@ +DESTDIR= +PREFIX=/usr/local +MANDIR=$(PREFIX)/man +MAN1DIR=$(MANDIR)/man1 +GZIP_MAN=y +RST2MAN=rst2man +MANS=acvt.1 adir.1 aext.1 bas2boot.1 chkbas.1 chkexe.1 chkrom.1 + +all: $(MANS) + +%.1: %.rst manhdr.rst manftr.rst + $(RST2MAN) $< > $@ |