diff options
author | Andreas Baumann <mail@andreasbaumann.cc> | 2022-05-05 20:35:21 +0200 |
---|---|---|
committer | Andreas Baumann <mail@andreasbaumann.cc> | 2022-05-05 20:35:21 +0200 |
commit | 768077581b54986069da78ed09390c753139e95d (patch) | |
tree | 61c9cb132ecf527ae249de4836eb17ad5c2689f7 | |
parent | a75c766f80126525e8dfa525b32252ba38b17b26 (diff) | |
download | compilertests-768077581b54986069da78ed09390c753139e95d.tar.gz compilertests-768077581b54986069da78ed09390c753139e95d.tar.bz2 |
generating a README.txt from README.html
-rw-r--r-- | miniany/Makefile | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/miniany/Makefile b/miniany/Makefile index 38d36e8..901397d 100644 --- a/miniany/Makefile +++ b/miniany/Makefile @@ -1,10 +1,13 @@ .PHONY: doc clean -doc: README.html +doc: README.html README.txt clean: - rm cc.md README.html - + rm cc.md README.html README.txt + +README.txt: README.html + lynx -dump README.html > README.txt + README.html: cc.md md2html --fpermissive-url-autolinks < cc.md > README.html @@ -14,4 +17,4 @@ cc.md: cc.wg sed -i 's/\\</</g' cc.md sed -i 's/\\>/>/g' cc.md -
\ No newline at end of file + |