From 888dd248ee3e1f0d42a50a4d53052469adc791c3 Mon Sep 17 00:00:00 2001 From: Robert Alessi Date: Fri, 14 Dec 2018 10:06:15 +0100 Subject: generate about.html for cgit --- makefile | 1 + 1 file changed, 1 insertion(+) (limited to 'makefile') diff --git a/makefile b/makefile index 27b11f1..2e5a12e 100644 --- a/makefile +++ b/makefile @@ -22,5 +22,6 @@ clean: cp -p -r .backup/* . rm -rf .backup pandoc -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md && sed -i "s/’/\'/g" README.md + pandoc -s README.tex -o about.html .PHONY: all pdf clean -- cgit v1.2.3