diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..1248d57 --- /dev/null +++ b/Makefile @@ -0,0 +1,14 @@ +TRANSFORMED_MAN_PAGE := doc/passextract.1.transformed + +$(TRANSFORMED_MAN_PAGE): doc/passextract.1.txt + sed 's/`/*/g' $< > $@ + +clean_transformed: + rm $(TRANSFORMED_MAN_PAGE) + +doc/passextract.1: $(TRANSFORMED_MAN_PAGE) + a2x --no-xmllint --format manpage $< + +doc: doc/passextract.1 clean_transformed + +.PHONY: clean_transformed doc |