idris-1.3.3.tar.gz missing docs/

[juhp]

I have been using the Hackage tarballs for a long time for the Fedora package.
As of idris-1.3.3 it seems docs/ was dropped from the Hackage tarball.
I didn't notice any particular related changes to the .cabal file so maybe
the generation of the uploaded tarball changed?

Steps to Reproduce

make user_doc_html

Expected Behavior

html manual to be built

Observed Behavior

+ make user_doc_html
make[1]: *** docs: No such file or directory.  Stop.

I suppose a simple workaround might be to use the github release tarball instead, though I generally try to avoid those, since they contain everything in git.

So it would be nice to have the docs/ dir back in 1.3.4.

[melted]

This might have been caused by the updates in the cabal file to work with newer cabal-install, it certainly wasn't intentional.