2023-09-01 14:20:02 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
set -e
|
|
|
|
|
|
|
|
|
|
mmark RFC_XR_Fragments.md > RFC_XR_Fragments.xml
|
2023-09-02 21:44:57 +02:00
|
|
|
mmark --html RFC_XR_Fragments.md | grep -vE '(<!--{|}-->)' > RFC_XR_Fragments.html
|
2023-09-04 21:20:59 +02:00
|
|
|
xml2rfc --v3 RFC_XR_Fragments.xml # RFC_XR_Fragments.txt
|
|
|
|
|
sed -i 's/Expires: .*//g' RFC_XR_Fragments.txt
|
