diff --git a/docs/specification/Makefile b/docs/specification/Makefile
index d54e10fe3ce69fb3d47da94927e8a3ed13748798..146fc85085c21201b72af406ae24cd1452ea397f 100644
--- a/docs/specification/Makefile
+++ b/docs/specification/Makefile
@@ -1,14 +1,15 @@
-FILE=proposal
+INPUT = $(wildcard *.tex)
+ALL = $(INPUT:.tex=.pdf)
 
-all: $(FILE).pdf 
+all: $(ALL) 
 
-$(FILE).pdf: $(FILE).tex sdb-h.expand
-	latex $(FILE).tex
-	latex $(FILE).tex
-	dvipdfm $(FILE).dvi
+%.pdf: %.tex sdb-h.expand
+	latex $*.tex
+	latex $*.tex
+	dvipdfm $*.dvi
 
 clean:
 	rm -rf *.aux *.dvi *.log *.pdf *.toc *.lot *.lof
 
 sdb-h.expand: sdb.h
-	expand -8 $^ > $@
\ No newline at end of file
+	expand -8 $^ > $@