Index: doc/papers/OOPSLA17/Makefile
===================================================================
--- doc/papers/OOPSLA17/Makefile	(revision 5ff188f3cd236584cfa7f3b12ea210fdd51bde8a)
+++ doc/papers/OOPSLA17/Makefile	(revision 82c948c3ab2d77f43fcf3cdbcab750b272c8e59b)
@@ -9,5 +9,5 @@
 
 MAKEFLAGS = --no-print-directory --silent #
-VPATH = ${Figures} evaluation
+VPATH = ${Build} ${Figures} evaluation
 
 ## Define the text source files.
@@ -36,4 +36,6 @@
 # Directives #
 
+.PHONY : all clean					# not file names
+
 all : ${DOCUMENT}
 
@@ -49,5 +51,5 @@
 	dvips ${Build}/$< -o $@
 
-${basename ${DOCUMENT}}.dvi : Makefile ${Build} ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} ${basename ${DOCUMENT}}.tex ../../bibliography/pl.bib
+${basename ${DOCUMENT}}.dvi : Makefile ${Build} ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} ../../bibliography/pl.bib
 	# Must have *.aux file containing citations for bibtex
 	if [ ! -r ${basename $@}.aux ] ; then ${LaTeX} ${basename $@}.tex ; fi
Index: doc/papers/concurrency/Makefile
===================================================================
--- doc/papers/concurrency/Makefile	(revision 5ff188f3cd236584cfa7f3b12ea210fdd51bde8a)
+++ doc/papers/concurrency/Makefile	(revision 82c948c3ab2d77f43fcf3cdbcab750b272c8e59b)
@@ -9,5 +9,5 @@
 
 MAKEFLAGS = --no-print-directory --silent #
-VPATH = ${Figures}
+VPATH = ${Build} ${Figures}
 
 ## Define the text source files.
@@ -58,5 +58,5 @@
 	dvips ${Build}/$< -o $@
 
-${basename ${DOCUMENT}}.dvi : Makefile ${Build} ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} ${basename ${DOCUMENT}}.tex \
+${basename ${DOCUMENT}}.dvi : Makefile ${Build} ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} \
 		${Macros}/common.tex ${Macros}/indexstyle annex/local.bib ../../bibliography/pl.bib
 	# Must have *.aux file containing citations for bibtex
Index: doc/papers/general/Makefile
===================================================================
--- doc/papers/general/Makefile	(revision 5ff188f3cd236584cfa7f3b12ea210fdd51bde8a)
+++ doc/papers/general/Makefile	(revision 82c948c3ab2d77f43fcf3cdbcab750b272c8e59b)
@@ -9,5 +9,5 @@
 
 MAKEFLAGS = --no-print-directory --silent #
-VPATH = ${Figures} evaluation
+VPATH = ${Build} ${Figures} evaluation
 
 ## Define the text source files.
@@ -51,5 +51,5 @@
 	dvips ${Build}/$< -o $@
 
-${basename ${DOCUMENT}}.dvi : Makefile ${Build} ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} ${basename ${DOCUMENT}}.tex \
+${basename ${DOCUMENT}}.dvi : Makefile ${Build} ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} \
 		${Macros}/common.tex ${Macros}/indexstyle ../../bibliography/pl.bib
 	# Must have *.aux file containing citations for bibtex