update, add proposal

[asr1617.git] / Makefile

diff --git a/Makefile b/Makefile
index 8f3a88a..ea2399a 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-DOCS:=asr
+DOCS:=asr proposal
 GREP?=grep
 LATEX?=pdflatex
 BIBTEX?=bibtex