Overview
Request 1070738 accepted
- Introduce docs flag, set to 0: do not build documentation using
pandoc: ghc is not part of the rings and we don't want this
there.
- Created by dimstar
- In state accepted
- 5 package maintainers
Loading...
Login required, please
login
in order to comment
Request History
dimstar created request
- Introduce docs flag, set to 0: do not build documentation using
pandoc: ghc is not part of the rings and we don't want this
there.
gnome-review-bot accepted review
Check script succeeded
gnome-review-bot approved review
Check script succeeded
dimstar accepted request