[GHC] #14475: Upload documentation dumps

[GHC]

#14475: Upload documentation dumps
-------------------------------------+-------------------------------------
        Reporter:  bgamari           |                Owner:  gander
            Type:  task              |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Continuous        |              Version:  8.2.1
  Integration                        |
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by gander):

 I have begun some investigation but wondered if it might be best if you
 gave me a starting point or background.

 I have:
 - used {{{make -C docs}}}, {{{make pdf}}} etc. to generate documentation
 in docs/user_guide but they fail with:

 make[2]: * * * No rule to make target 'html_docs/users_guide'.  Stop.


 - tried a freshly built haddock (./inplace/bin/haddock) but havent yet
 figured out the options;

 - installed Sphinx for python2 & 3 but but, also, havent yet figured out
 the options;

 So, am I on the right track with any of the above?


 Q: How would you want it to work?
 A: Triggered by the recent successful GHC CI? Or unsuccessful.

 Please tell me if you prefer another approach.

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14475#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler