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
_______________________________________________
subsurface mailing list
[email protected]
http://lists.hohndel.org/cgi-bin/mailman/listinfo/subsurface

Reply via email to