diff options
Diffstat (limited to 'cryptominisat5/cryptominisat-5.6.3/docs/satcomp14-pdf/Makefile')
-rw-r--r-- | cryptominisat5/cryptominisat-5.6.3/docs/satcomp14-pdf/Makefile | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/cryptominisat5/cryptominisat-5.6.3/docs/satcomp14-pdf/Makefile b/cryptominisat5/cryptominisat-5.6.3/docs/satcomp14-pdf/Makefile deleted file mode 100644 index 99046573a..000000000 --- a/cryptominisat5/cryptominisat-5.6.3/docs/satcomp14-pdf/Makefile +++ /dev/null @@ -1,23 +0,0 @@ -TEX = pdflatex -shell-escape -interaction=nonstopmode -file-line-error -PRE = $(TEX) -ini -job-name="preamble" "&pdflatex preamble.tex\dump" -BIB = bibtex - -all: cmsv4.pdf - -view : - open cmsv4.pdf - -cmsv4.pdf : cmsv4.tex cmsv4.bbl cmsv4.blg - $(TEX) cmsv4.tex - -cmsv4.bbl cmsv4.blg : cmsv4.bib cmsv4.aux - $(BIB) cmsv4 - -cmsv4.aux : cmsv4.tex - $(TEX) cmsv4.tex - -cmsv4.bib : cmsv4.tex - $(TEX) cmsv4.tex - -clean: - rm -f *.aux *.bbl *.out cmsv4.pdf *.log *.blg |