diff options
Diffstat (limited to 'article-template/ahhh.sh')
-rw-r--r-- | article-template/ahhh.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/article-template/ahhh.sh b/article-template/ahhh.sh new file mode 100644 index 0000000..a2726f5 --- /dev/null +++ b/article-template/ahhh.sh @@ -0,0 +1,16 @@ +(sed 's/FILENAME/'"$FILENAME"'/g' << EOF +update: FILENAME.txt FILENAME.7 FILENAME.html + git add . + git commit + git push + +FILENAME.7: FILENAME.md + mmark --man FILENAME.md > FILENAME.7 +FILENAME.txt FILENAME.html: FILENAME.xml + xml2rfc --text --html FILENAME.xml + sed -i -e '/\f/{n;s/^./RFD 1/}' FILENAME.txt + ed FILENAME.txt < Edfile +FILENAME.xml: FILENAME.md + sed '0,/title =/{s/ ."\$\$/"/}' FILENAME.md | mmark > FILENAME.xml +EOF +) |