X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=correctness-model%2Fwriteup%2Fmakefile;fp=correctness-model%2Fwriteup%2Fmakefile;h=0000000000000000000000000000000000000000;hb=d2ea20dfe024fdf297e6776d56bc9066cb040f38;hp=6c222e42fb14bab0c56955221816118ae11d9f76;hpb=facdc9fd49c05b968c55c54deb21ba5d3a673f52;p=cdsspec-compiler.git

diff --git a/correctness-model/writeup/makefile b/correctness-model/writeup/makefile
deleted file mode 100644
index 6c222e4..0000000
--- a/correctness-model/writeup/makefile
+++ /dev/null
@@ -1,94 +0,0 @@
-LATEX := pdflatex -halt-on-error
-
-FIGURES = 
-
-#FIGHEAD = #figures/figHeader.dotpiece
-#FIGFOOT = #figures/figFooter.dotpiece
-
-
-.SUFFIXES : .tex .bbl .aux .eps .ps .dot .pdf
-
-.tex.bbl:
-	bibtex $*
-
-.tex.aux:
-	latex $*
-
-%.eps: %.ps
-	ps2epsi $< $@
-
-%.ps: %.dot
-	dot -Tps $< -o $@
-
-%.pdf: %.dot
-	dot -Tpdf $< -o $@
-
-%.png: %.dot
-	dot -Tpng $< -o $@
-
-%.aux: %.tex
-	$(LATEX) $<
-
-#%.dot: %.dotpiece $(FIGHEAD) $(FIGFOOT)
-#	cat $(FIGHEAD) $< $(FIGFOOT) > $@
-
-
-
-# latex the paper (default)
-new:	biblinks newpaper
-
-# latex + bibtex the paper
-bib:	bibpaper newpaper
-
-# save a backup of tex files in BACKUPS
-bak: 	backuppaper
-
-
-biblinks: figures
-	$(LATEX) paper.tex
-	bibtex paper.aux
-	$(LATEX) paper.tex
-
-
-newpaper: figures biblinks
-	$(LATEX) paper.tex
-
-
-bibpaper: paper.aux paper.bbl
-	latex paper.tex
-
-
-backuppaper: 
-	@if [ ! -d BACKUPS ]; then mkdir BACKUPS; fi;	\
-	crtdate=`date '+%m-%d-%y--%H:%M:%S'`;		\
-	bakdir=BACKUPS/$$crtdate;			\
-	mkdir $$bakdir;					\
-	cp *.tex $$bakdir
-
-spell:
-	@for i in *.tex; \
-	do if [ $$i != "paper.tex" ]; then aspell -c $$i -p ./spell.lst; fi;\
-	done
-
-
-total:
-	latex paper.tex
-	bibtex paper.aux
-	latex paper.tex
-	latex paper.tex
-	pdflatex paper.tex
-
-
-figures: $(FIGURES)
-
-
-errinjfig:
-	gnuplot err-inj-fig/nve2latex.cmds
-	epstopdf injectErrorFig.eps
-	mv injectErrorFig.* figures
-
-
-clean:
-	rm -f *.dvi *.log *.aux *.blg *.bbl *~ err-inj-fig/*~
-	rm -f paper.ps paper.pdf 
-	rm -f injectErrorFig*