2e7a420 Merge branch 'diverse_fixes_final2' into 'master'

8701f8e3 · Juergen Reuter · da77a9ba · 8701f8e3
Commit 8701f8e3 authored Jul 03, 2020 by Juergen Reuter
--- a/share/doc/Makefile.am
+++ b/share/doc/Makefile.am
@@ -265,7 +265,8 @@ endif

 mostlyclean-html:
 	-rm -f *.haux *.htoc *.css index.html contents_motif.gif \
-	next_motif.gif previous_motif.gif manual*.html  manual*.png \
+	next_motif.gif previous_motif.gif contents_motif.svg \
+	next_motif.svg previous_motif.svg manual*.html  manual*.png \
 	manual.image.tex
 clean-html:
 maintainer-clean-html: