dist-newstyle/ cabal.project.local /assets/*.svg /assets/*/ /files/ /img/examples /math /refs/ *.txt *.md *.html *.mb *.prof *.eventlog