diff options
Diffstat (limited to 'pragmatics/Makefile')
| -rw-r--r-- | pragmatics/Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/pragmatics/Makefile b/pragmatics/Makefile new file mode 100644 index 0000000..3fdf7c2 --- /dev/null +++ b/pragmatics/Makefile @@ -0,0 +1,14 @@ +update: pragmatics.txt pragmatics.man + git add . + git commit + git push + +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 + xml2rfc --text --html pragmatics.xml +pragmatics.xml: pragmatics.md + mmark pragmatics.md > pragmatics.xml + |