diff options
| -rw-r--r-- | pragmatics/Makefile | 1 | ||||
| -rw-r--r-- | pragmatics/pragmatics.txt | 8 |
2 files changed, 5 insertions, 4 deletions
diff --git a/pragmatics/Makefile b/pragmatics/Makefile index afb536b..39f765f 100644 --- a/pragmatics/Makefile +++ b/pragmatics/Makefile @@ -9,6 +9,7 @@ pragmatics.7: pragmatics.md mmark --man pragmatics.md > pragmatics.7 pragmatics.txt pragmatics.html: pragmatics.xml xml2rfc --text --html pragmatics.xml + sed -i -e '/\f/{n;s/^.\{5\}/RFD 1/}' pragmatics.txt pragmatics.xml: pragmatics.md sed '0,/title =/{s/ ."$$/"/}' pragmatics.md | mmark > pragmatics.xml diff --git a/pragmatics/pragmatics.txt b/pragmatics/pragmatics.txt index 6a8f15f..dab31eb 100644 --- a/pragmatics/pragmatics.txt +++ b/pragmatics/pragmatics.txt @@ -55,7 +55,7 @@ Table of Contents Yu Informational [Page 1] - Pragmatic Use of Nonfree Software April 2022 +RFD 1 Pragmatic Use of Nonfree Software April 2022 Discord account, creating a Guild called "Free Software @@ -111,7 +111,7 @@ Yu Informational [Page 1] Yu Informational [Page 2] - Pragmatic Use of Nonfree Software April 2022 +RFD 1 Pragmatic Use of Nonfree Software April 2022 Matrix users, in particular users of the matrix.org homeserver, @@ -167,7 +167,7 @@ Yu Informational [Page 2] Yu Informational [Page 3] - Pragmatic Use of Nonfree Software April 2022 +RFD 1 Pragmatic Use of Nonfree Software April 2022 The latter is more interesting, as explained above our methods of @@ -223,7 +223,7 @@ Yu Informational [Page 3] Yu Informational [Page 4] - Pragmatic Use of Nonfree Software April 2022 +RFD 1 Pragmatic Use of Nonfree Software April 2022 5. Conclusion |