From 768077581b54986069da78ed09390c753139e95d Mon Sep 17 00:00:00 2001 From: Andreas Baumann Date: Thu, 5 May 2022 20:35:21 +0200 Subject: generating a README.txt from README.html --- miniany/Makefile | 11 +++++++---- 1 file 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 - \ No newline at end of file + -- cgit v1.2.3-54-g00ecf