sage

ca1d5251 - src/doc/en/developer/sage_manuals.rst, src/sage/misc/sagedoc.py: Update :gap_pkg: