From ebf338f069d775c908ed3720b1fb5f08e700a5ce Mon Sep 17 00:00:00 2001 From: John Whitington Date: Mon, 15 Aug 2022 19:58:25 +0100 Subject: [PATCH] more --- Makefile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/Makefile b/Makefile index a997bbc..ca8bedb 100644 --- a/Makefile +++ b/Makefile @@ -34,8 +34,7 @@ all : $(TARGETS) clean :: rm -rf doc foo foo2 out.pdf out2.pdf foo.pdf decomp.pdf *.cmt *.cmti \ - *.json test/*.pdf debug/*.pdf *.ps *.aux *.idx *.log *.out *.toc *.cut \ - cpdf.top.dSYM + *.json test/*.pdf debug/*.pdf *.ps *.aux *.idx *.log *.out *.toc *.cut DOC_FILES = cpdfunicodedata.mli cpdferror.mli cpdfdebug.mli cpdfjson.mli \ cpdfstrftime.mli cpdfcoord.mli cpdfattach.mli cpdfpagespec.mli \