diff options
Diffstat (limited to 'pragmatics/Makefile')
| -rw-r--r-- | pragmatics/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pragmatics/Makefile b/pragmatics/Makefile index 39f765f..bb8b210 100644 --- a/pragmatics/Makefile +++ b/pragmatics/Makefile @@ -10,6 +10,7 @@ pragmatics.7: pragmatics.md pragmatics.txt pragmatics.html: pragmatics.xml xml2rfc --text --html pragmatics.xml sed -i -e '/\f/{n;s/^.\{5\}/RFD 1/}' pragmatics.txt + ed pragmatics.txt < Edfile pragmatics.xml: pragmatics.md sed '0,/title =/{s/ ."$$/"/}' pragmatics.md | mmark > pragmatics.xml |