From 1815c076e2168ea13390886b4fb1728bdf54fc5b Mon Sep 17 00:00:00 2001 From: Robert Alessi Date: Thu, 6 Sep 2018 01:49:41 +0200 Subject: makefile: keep only what is listed in files.txt --- makefile | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'makefile') diff --git a/makefile b/makefile index 8bf9b28..6019fe2 100644 --- a/makefile +++ b/makefile @@ -1,6 +1,10 @@ all: clean clean: + rm -rf .backup find -iname "*~" | xargs rm -rf + rsync -avPr --files-from=files.txt . .backup + rm -rf * + cp -p -r .backup/* . + rm -rf .backup pandoc -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md - pandoc -s README.tex -o README.html -- cgit v1.2.3