Deleted Redundent Files

[iotcloud.git] / version2 / doc / iotcloud_formal / makefile

diff --git a/version2/doc/iotcloud_formal/makefile b/version2/doc/iotcloud_formal/makefile
deleted file mode 100644 (file)
index cff4a15..0000000
--- a/version2/doc/iotcloud_formal/makefile
+++ /dev/null
@@ -1,8 +0,0 @@
-LATEX := pdflatex -halt-on-error
-
-default:
-       $(LATEX) iotcloud.tex
-
-clean:
-       rm -f *.dvi *.log *.aux *.blg *.bbl *~
-       rm -f iotcloud.ps iotcloud.pdf