Index: doc/theses/thierry_delisle_PhD/thesis/Makefile
===================================================================
--- doc/theses/thierry_delisle_PhD/thesis/Makefile	(revision c702d21da497a112fe437d8cffcac3dcfb50bd9a)
+++ doc/theses/thierry_delisle_PhD/thesis/Makefile	(revision 918e013764524a1728c269d95056f4b9dff17a6d)
@@ -11,4 +11,5 @@
 LaTeX  = TEXINPUTS=${TeXLIB} && export TEXINPUTS && latex -halt-on-error -output-directory=${Build}
 BibTeX = BIBINPUTS=${TeXLIB} && export BIBINPUTS && bibtex
+DeTeX = TEXINPUTS=${TeXLIB} && export TEXINPUTS && detex -r
 
 MAKEFLAGS = --no-print-directory # --silent
@@ -144,4 +145,7 @@
 	${LaTeX} $<
 
+%.tty: build/%.dvi
+	dvi2tty -w132 $< > $@
+
 ## Define the default recipes.