diff options
Diffstat (limited to 'article-template/ahhh.sh')
-rw-r--r-- | article-template/ahhh.sh | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/article-template/ahhh.sh b/article-template/ahhh.sh deleted file mode 100644 index a2726f5..0000000 --- a/article-template/ahhh.sh +++ /dev/null @@ -1,16 +0,0 @@ -(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 -) |