> # However, strangely, png files are not made by "make all" even though svg and html files are made. (Why? Why??)
Yes, I've just found out that you need to clean the directory first (rm *.html and rm *.svg.png) and then launch make html to rebuild the pngs (and html).
> # However, strangely, png files are not made by "make all" even though svg and html files are made. (Why? Why??)
Yes, I've just found out that you need to clean the directory first (rm *.html and rm *.svg.png) and then launch make html to rebuild the pngs (and html).