diff options
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/docs/Makefile b/docs/Makefile index 355f0bc..9ad7712 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -2,12 +2,12 @@ TXT=$(wildcard *.txt) # Expand target section from heading of each page MAN=$(shell ls *.txt|xargs -n 1 head -n 1|sed "s,\(.*\)(\([0-9]\)),\1.\2,") HTML=$(patsubst %.txt,%.html,$(TXT)) +ASPELL=aspell all: html man html: $(HTML) man: $(MAN) - .PHONY: html man %.html: %.txt @@ -25,5 +25,10 @@ define man @a2x --format manpage $(1) endef +spell: $(patsubst %,spell-%,$(TXT)) +.PHONY: spell +spell-%: + $(ASPELL) check -p appsh.dict -l en --encoding utf-8 $(patsubst spell-%,%,$@) + clean: rm -rf $(wildcard *.html) $(wildcard *.1) $(wildcard *.7) |