diff --git a/makefile.locale b/makefile.locale index 37a4b4db21a309bc1fb1dd62b1e10161290f991b..087d5c4c55fc321fb9b13dc40483a87471ca710d 100644 --- a/makefile.locale +++ b/makefile.locale @@ -51,10 +51,11 @@ html: $(HTML_FILTER) all doc-l10n: man html -endif - clean: rm -f *.1 *.html +endif + + mrproper: clean rm -f *.txt