diff options
Diffstat (limited to 'cryptominisat5/cryptominisat-5.6.3/docs/satcomp15-pdf/Makefile')
-rw-r--r-- | cryptominisat5/cryptominisat-5.6.3/docs/satcomp15-pdf/Makefile | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/cryptominisat5/cryptominisat-5.6.3/docs/satcomp15-pdf/Makefile b/cryptominisat5/cryptominisat-5.6.3/docs/satcomp15-pdf/Makefile deleted file mode 100644 index 9b86a32c9..000000000 --- a/cryptominisat5/cryptominisat-5.6.3/docs/satcomp15-pdf/Makefile +++ /dev/null @@ -1,25 +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 : - okular cmsv44.pdf - -cmsv4.pdf : clean cmsv4.tex cmsv4.bbl cmsv4.blg - $(TEX) cmsv4.tex - $(TEX) cmsv4.tex - mv cmsv4.pdf cmsv44.pdf - -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 *.log *.pdf *.blg *.bbl *.aux *.out |