diff options
author | Teddy Wing | 2021-05-05 01:54:20 +0200 |
---|---|---|
committer | Teddy Wing | 2021-05-05 01:54:20 +0200 |
commit | 4cad20a5768d3dad8c4e79f49727416d30b5783e (patch) | |
tree | 29d2756a75b013a9e284b176563a7c54dc1e2d3d /Makefile | |
parent | e6e091be25983f99697288d7f65940c0e07edd33 (diff) | |
download | pdf-form-replace-font-4cad20a5768d3dad8c4e79f49727416d30b5783e.tar.bz2 |
Add man page
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..177d7fe --- /dev/null +++ b/Makefile @@ -0,0 +1,8 @@ +MAN_PAGE := doc/pdf-form-replace-font.1 + + +.PHONY: doc +doc: $(MAN_PAGE) + +$(MAN_PAGE): $(MAN_PAGE).txt + a2x --no-xmllint --format manpage $< |