Dune docs error when running setup.sh with dune already installed

[ReedMerrill]

Hey, I don't think this is a serious bug, because it seems to just have to do with dune docs finding a docs directory that already has things in it, but it would be nice to set things up in a way that the error doesn't occur.

File "docs/dune", lines 31-42, characters 0-199:
31 | (rule
32 |  (alias doc)
33 |  (deps
....
40 |   (chdir
41 |    "pngs"
42 |    (run %{exporter} %{scads}))))
Error: Rule produced directory "docs/pngs" that contains no files nor
non-empty subdirectories

I installed dune separately, which seems like what the readme is recommending, but probably caused this error when setup.sh tried to install something that effects dune's docs.

Maybe the readme could be edited for clarity.

[geoffder]

Thanks for the report, I haven't touched this in quite a while (been on a hiatus from my OSS hobby stuff), it's possible that this is due to changes in the new versions of dune. I may have to adapt some things to avoid the error you've hit in my image generation dune stanzas (for my tutorial docs etc). Or it could also be that everything is running fine, but the png dir ends up empty because openscad isn't getting called successfully as intended on line 42 there (I don't have anything sophisticated setup to get it working if openscad isn't in your path).