From 00cf7545d71c4247d376fe7d0e996a2068532438 Mon Sep 17 00:00:00 2001 From: Robert Alessi Date: Thu, 13 Oct 2022 15:11:27 +0200 Subject: call pandoc without -s --- makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'makefile') diff --git a/makefile b/makefile index 900ae1d..4911962 100644 --- a/makefile +++ b/makefile @@ -85,7 +85,7 @@ clean: rm *.* cp saved/* . rm -rf saved/ - pandoc -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md - pandoc -s README.tex -o about.html + pandoc README.tex -o README.md && sed -i 's/{#.*}//g' README.md + pandoc README.tex -o about.html .PHONY: sty doc all local inst auctex zip package clean -- cgit v1.2.3