diff options
Diffstat (limited to 'pragmatics/Makefile')
| -rw-r--r-- | pragmatics/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pragmatics/Makefile b/pragmatics/Makefile index 3fdf7c2..d69ce05 100644 --- a/pragmatics/Makefile +++ b/pragmatics/Makefile @@ -1,4 +1,4 @@ -update: pragmatics.txt pragmatics.man +update: pragmatics.txt pragmatics.man pragmatics.html git add . git commit git push @@ -7,7 +7,7 @@ pragmatics.man: pragmatics.7 groff -man -Tascii pragmatics.7 > pragmatics.man pragmatics.7: pragmatics.md mmark --man pragmatics.md > pragmatics.7 -pragmatics.txt: pragmatics.xml +pragmatics.txt pragmatics.html: pragmatics.xml xml2rfc --text --html pragmatics.xml pragmatics.xml: pragmatics.md mmark pragmatics.md > pragmatics.xml |