blob: 3fdf7c2862d0ecfe55bd450a68b968deab0fc543 (
plain) (
tree)
|
|
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
|