diff options
| author | Andrew Yu <andrew@andrewyu.org> | 2022-04-16 22:42:47 +0200 |
|---|---|---|
| committer | Andrew Yu <andrew@andrewyu.org> | 2022-04-16 22:42:47 +0200 |
| commit | 72e95a8826c2de752d3caf26cdbf24e6c7568e04 (patch) | |
| tree | 1cc6cb4a2ff37f5bf9e74a51dd2a3418bb7d262e /pragmatics/Makefile | |
| parent | 4d2de221923cae36791a2690ea550246f498f4d1 (diff) | |
| download | www-72e95a8826c2de752d3caf26cdbf24e6c7568e04.tar.gz | |
test
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 |