diff --git a/dynare++/doc/Makefile.am b/dynare++/doc/Makefile.am
index e3b88cf45bcddd905d52d9619d7b892d657458e5..3206bc011d4fc16454ad0230a6c9d5ae9dd18090 100644
--- a/dynare++/doc/Makefile.am
+++ b/dynare++/doc/Makefile.am
@@ -1,7 +1,13 @@
-EXTRA_DIST = dynare++-ramsey.tex dynare++-tutorial.tex changelog-old.html changelog-sylv-old.html
+EXTRA_DIST = \
+	dynare++-ramsey.tex \
+	dynare++-tutorial.tex \
+	sylvester.tex \
+	tl.tex \
+	changelog-old.html \
+	changelog-sylv-old.html
 
 if HAVE_PDFLATEX
-pdf-local: dynare++-ramsey.pdf dynare++-tutorial.pdf
+pdf-local: dynare++-ramsey.pdf dynare++-tutorial.pdf sylvester.pdf tl.pdf
 endif
 
 %.pdf: %.tex
diff --git a/dynare++/sylv/sylvester.tex b/dynare++/doc/sylvester.tex
similarity index 100%
rename from dynare++/sylv/sylvester.tex
rename to dynare++/doc/sylvester.tex
diff --git a/dynare++/tl/tl.tex b/dynare++/doc/tl.tex
similarity index 100%
rename from dynare++/tl/tl.tex
rename to dynare++/doc/tl.tex
diff --git a/dynare++/sylv/Makefile.am b/dynare++/sylv/Makefile.am
index eb8928edd91458a6dd396ce8c8248e010aa3a42a..ffebab6fe3641d3346316761575936e56f4be6f5 100644
--- a/dynare++/sylv/Makefile.am
+++ b/dynare++/sylv/Makefile.am
@@ -1,14 +1 @@
 SUBDIRS = cc testing
-
-EXTRA_DIST = sylvester.tex
-
-if HAVE_PDFLATEX
-pdf-local: sylvester.pdf
-
-sylvester.pdf: sylvester.tex
-	$(PDFLATEX) sylvester
-	$(PDFLATEX) sylvester
-endif
-
-CLEANFILES = *.pdf *.log *.aux
-
diff --git a/dynare++/tl/Makefile.am b/dynare++/tl/Makefile.am
index 5ef7180cbee7fc8eab86d60c71ad0c9079f6d89f..ffebab6fe3641d3346316761575936e56f4be6f5 100644
--- a/dynare++/tl/Makefile.am
+++ b/dynare++/tl/Makefile.am
@@ -1,13 +1 @@
 SUBDIRS = cc testing
-
-EXTRA_DIST = tl.tex
-
-if HAVE_PDFLATEX
-pdf-local: tl.pdf
-
-tl.pdf: tl.tex
-	$(PDFLATEX) tl
-	$(PDFLATEX) tl
-endif
-
-CLEANFILES = *.pdf *.log *.aux