summary refs log tree commit diff stats
path: root/article-template/ahhh.sh
diff options
context:
space:
mode:
Diffstat (limited to 'article-template/ahhh.sh')
-rw-r--r--article-template/ahhh.sh16
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
-)