diff options
| author | Teddy Wing | 2021-08-29 16:43:51 +0200 |
|---|---|---|
| committer | Teddy Wing | 2021-08-29 16:43:51 +0200 |
| commit | dc1701625f8a994ff56dac0bd163db94dde26504 (patch) | |
| tree | 67f4d53cbcab6718ce9542a4777da46a05f94fa7 /Makefile | |
| parent | 360a41567292184da41db27fe3ea71af8ccaabb7 (diff) | |
| download | readline-incdec-dc1701625f8a994ff56dac0bd163db94dde26504.tar.bz2 | |
Add man pagev0.0.1
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 10 |
1 files changed, 10 insertions, 0 deletions
@@ -16,6 +16,9 @@ # along with Incdec. If not, see <https://www.gnu.org/licenses/>. +MAN_PAGE := doc/incdec.7 + + .PHONY: all all: incdec.bash @@ -32,3 +35,10 @@ incdec.pl: incdec.m4.pl incdec.pm .PHONY: test test: prove -v + + +.PHONY: doc +doc: $(MAN_PAGE) + +$(MAN_PAGE): $(MAN_PAGE).txt + a2x --no-xmllint --format manpage $< |