diff options
author | anwu1219 <haozewu@stanford.edu> | 2018-09-25 10:07:13 -0700 |
---|---|---|
committer | anwu1219 <haozewu@stanford.edu> | 2018-09-25 10:07:13 -0700 |
commit | 146db4caba235a0cbd55b2877b1e664d85187a42 (patch) | |
tree | 6f6538fc188aab08d51ca90e287e6983fc1f7fff /cryptominisat5/cryptominisat-5.6.3/docs/satcomp15-pdf/Makefile | |
parent | 5cfc2d1c7a3bd6acaa26a0a8e7dda12b6bbf17b4 (diff) |
clean up
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 |