diff options
Diffstat (limited to 'pragmatics/Makefile')
| -rw-r--r-- | pragmatics/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pragmatics/Makefile b/pragmatics/Makefile index d69ce05..afb536b 100644 --- a/pragmatics/Makefile +++ b/pragmatics/Makefile @@ -10,5 +10,5 @@ pragmatics.7: pragmatics.md pragmatics.txt pragmatics.html: pragmatics.xml xml2rfc --text --html pragmatics.xml pragmatics.xml: pragmatics.md - mmark pragmatics.md > pragmatics.xml + sed '0,/title =/{s/ ."$$/"/}' pragmatics.md | mmark > pragmatics.xml |