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