Remove generated reference manual when distclean.
commit365377d920baaa883ac1a853e41bea0d6593a3c9
authorDidier Verna <didier@lrde.epita.fr>
Fri, 25 Mar 2011 19:50:50 +0000 (25 20:50 +0100)
committerDidier Verna <didier@lrde.epita.fr>
Fri, 25 Mar 2011 19:50:50 +0000 (25 20:50 +0100)
tree56f061895905cf4aac54629ce5c4049f294edf8f
parent6ccd785e29a5fb8fd1f415494cfc584886fa678d
Remove generated reference manual when distclean.

doc/ ChangeLog addition:

2011-03-25  Didier Verna  <didier@lrde.epita.fr>

* Makefile (distclean): Remove $(TEXI_REF).
doc/Makefile