diff options
| author | John MacFarlane <[email protected]> | 2022-01-17 21:00:15 -0800 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2022-01-17 21:03:25 -0800 |
| commit | d2a956255428a7c5751e84c696bb0c387193ec08 (patch) | |
| tree | e8919323be1855c7d007703b1c44cdb4de26b3a7 /tools/github-upload.sh | |
| parent | c1717378b006245617415217cbbffb3598085a39 (diff) | |
Omit --enable-doc in the cabal haddock invocation.
tools/build-and-upload-api-docs.sh. I'm not sure what
this was supposed to do but it seems undocumented.
Diffstat (limited to 'tools/github-upload.sh')
0 files changed, 0 insertions, 0 deletions