diff options
Diffstat (limited to 'share')
-rw-r--r-- | share/mk/bsd.info.mk | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/share/mk/bsd.info.mk b/share/mk/bsd.info.mk new file mode 100644 index 0000000..eb6427d --- /dev/null +++ b/share/mk/bsd.info.mk @@ -0,0 +1,16 @@ +BINDIR?= /usr/share/info +MAKEINFO?= makeinfo +MAKEINFOFLAGS?= # --no-split would simplify some things, e.g., compression + +.SUFFIXES: .info .texi +.texi.info: + ${MAKEINFO} ${MAKEINFOFLAGS} ${.IMPSRC} -o ${.TARGET} + +all: ${INFO:S/$/.info/g} + +# Hacks to interface to bsd.doc.mk. +DOC= ${INFO} +PRINTER= texi +depend: + +.include <bsd.doc.mk> |