diff options
Diffstat (limited to 'static/mandoc.mk')
| -rw-r--r-- | static/mandoc.mk | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/static/mandoc.mk b/static/mandoc.mk new file mode 100644 index 00000000..b76f40d8 --- /dev/null +++ b/static/mandoc.mk @@ -0,0 +1,17 @@ +MANDOC = mandoc +MANDOCFLAGS = -T html -O fragment +TARGETS = $(patsubst %, %.html, $(MAN)) + +all: $(TARGETS) $(SUBDIRS) + +%.html: % + $(MANDOC) $(MANDOCFLAGS) $^ > $@ + +$(SUBDIRS): + $(MAKE) -C $@ $(MAKECMDGOALS) + +clean: $(SUBDIRS) + rm -f $(TARGETS) + +.PHONY: all clean $(SUBDIRS) + |