On Sat, Jun 07, 2014 at 11:01:17PM +0200, Cristian Ionescu-Idbohrn wrote: > > Some 'clean' Makefile target should remove the generated > user-manual_es.html too. make clean in Documentation removes all the created files. /D