blob: 321910241ecf0956d33c003ec0c966b508446f73 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
pragmatics.txt: pragmatics.xml
xml2rfc --text --html pragmatics.xml
pragmatics.xml: pragmatics.md
mmark pragmatics.md > pragmatics.xml
update:
git add .
git commit
git push
|