diff options
| -rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
| diff --git a/Makefile b/Makefile index d0bab7b..dfc0980 100644 --- a/Makefile +++ b/Makefile | |||
| @@ -3,5 +3,7 @@ | |||
| 3 | subtext: subtext.sh subtext.awk | 3 | subtext: subtext.sh subtext.awk |
| 4 | ed subtext.sh < combine.ed > $@ | 4 | ed subtext.sh < combine.ed > $@ |
| 5 | 5 | ||
| 6 | readme.html: | 6 | .PHONY: readme |
| 7 | readme: readme.html | ||
| 8 | readme.html: readme.st | ||
| 7 | ./subtext.sh -m html -o $@ readme.st | 9 | ./subtext.sh -m html -o $@ readme.st |