diff options
author | Andrew Yu <andrew@andrewyu.org> | 2022-04-17 08:59:07 +0200 |
---|---|---|
committer | Andrew Yu <andrew@andrewyu.org> | 2022-04-17 08:59:07 +0200 |
commit | 19f8c65341c04fe6441bdcae01dba3756702ee2b (patch) | |
tree | e8c0332466fe36643c37d57ae6c7f8a289f3e99e /article-template/Config | |
parent | 263874bcb008d356bea090b4698d0216d8bae92a (diff) | |
download | www-19f8c65341c04fe6441bdcae01dba3756702ee2b.tar.gz |
script to generate new articles!
Diffstat (limited to 'article-template/Config')
-rwxr-xr-x | article-template/Config | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/article-template/Config b/article-template/Config deleted file mode 100755 index 10d8299..0000000 --- a/article-template/Config +++ /dev/null @@ -1,30 +0,0 @@ -#!/bin/sh - -[ -z "$4" ] && printf "$0: Not enough arguments.\n$0: You MUST run this script with the following arguments:\n$0: <Filename> <RFD number> <Full name> <Abbreviated name>\n" > /dev/stderr && exit 1 -[ "$5" ] && printf "$0: Too many arguments.\n$0: You MUST run this script with the following arguments:\n$0: <Filename> <RFD number> <Full name> <Abbreviated name>\n" > /dev/stderr && exit 2 - -FILENAME="$1" -RFDN="$2" -FULLNAME="$3" -ABBRNAME="$4" - -mv FILENAME.md "$FILENAME".md - -sed -i 's/FULLNAME/'"$FULLNAME"'/g' "$FILENAME".md -sed -i 's/ABBRNAME/'"$ABBRNAME"'/g' "$FILENAME".md - -sed 's/FILENAME/'"$FILENAME"'/g' > Makefile << 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/^.\{5\}/RFD 1/}' FILENAME.txt - ed FILENAME.txt < Edfile -FILENAME.xml: FILENAME.md - sed '0,/title =/{s/ ."\$\$/"/}' FILENAME.md | mmark > FILENAME.xml -EOF |