blob: d69ce05f30cb78479f6c10d0ea1b94e24055bbfa (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
update: pragmatics.txt pragmatics.man pragmatics.html
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.html: pragmatics.xml
xml2rfc --text --html pragmatics.xml
pragmatics.xml: pragmatics.md
mmark pragmatics.md > pragmatics.xml
|