sage -clone ... should copy the sage/doc/output directory

[jhpalmieri]

Running "sage -clone blah" should copy $SAGE_ROOT/devel/sage/doc/output/...: for one thing, if you clone the repository, you should still have access to all of the local Sage documentation (via the "Help" button in the notebook), and for another, if you want to modify library code, you shouldn't have to wait 20 minutes to see how your changes affect the reference manual.

Component: documentation

Issue created by migration from https://trac.sagemath.org/ticket/5469

[robertwb]

comment:1

Just a note, it would be nice if the files could be hard linked rather than actually copied.

[sagetrac-mabshoff]

comment:2

Fixed via #5414.

Cheers,

Michael