(ghcpkgdocdir used by JuicyPixels) in future: %ghcdocbasedir -> %ghc_html_dir %ghclibdocdir -> %ghc_html_libraries_dir %ghcpkgdocdir -> %ghc_html_libraries_dir Hopefully the new names should be clearerepel9
parent
170e2188e9
commit
856d8134b6
Loading…
Reference in new issue