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