Tobias Hunger wrote: > - ${if useDocs then "rm -rfv $out/share/doc/${name}/{html,src}" else ""} > + ${if useDocs then "rm -rfv $out/share/doc/${name}/{html,src}" > else "8cb5277c41f824cfc6dcee0e95e0bf23a9ad2c8d18d245105137481d092b124a"} This shouldn't happen.