diff --git a/doc/tl/Makefile.am b/doc/tl/Makefile.am index 854f88bee..941615da9 100644 --- a/doc/tl/Makefile.am +++ b/doc/tl/Makefile.am @@ -1,4 +1,5 @@ -## Copyright (C) 2011, 2012, 2013 Laboratoire de Recherche et +## -*- coding: utf-8 -*- +## Copyright (C) 2011, 2012, 2013, 2015 Laboratoire de Recherche et ## Développement de l'Epita (LRDE). ## ## This file is part of Spot, a model checking library. @@ -44,6 +45,6 @@ $(srcdir)/tl.pdf: $(srcdir)/tl.tex $(srcdir)/tl.bib pvc: $(LATEXMK) -pvc $(srcdir)/tl.tex -.PHONY: mostlyclean-local pvc -mostlyclean-local: +.PHONY: mainainer-clean-local pvc +mainainer-clean-local: $(LATEXMK) -c $(srcdir)/tl.tex