Re: Bug#931548: Migration to Sphinx
Holger Levsen <[email protected]>
| Newsgroups | gmane.linux.debian.devel.www |
|---|---|
| Message-ID | <[email protected]> |
hi,
dear debian-www people: src:developers-reference was just switched to
use sphinx, just like src:debian-policy. However, no upload to unstable
has been made yet...
On Tue, Jul 23, 2019 at 08:13:50AM -0700, Sean Whitton wrote:
> On Mon 22 Jul 2019 at 09:22pm +00, Holger Levsen wrote:
> > I wonder how this was done for debian-policy which is also hosted on
> > www.debian.org. Sean, do you have any insight on this?
> Paul, Laura and Osamu hacked on the www-team's scripts until it worked
> -- I'm afraid I wasn't involved other than reporting problems with the
> published version of Policy, and I don't think we made changes to our
> package in response to any requests from the www-team.
Am I correct to assume we could go a similar way with src:developers-reference ?
If you wanted, you could test by cloning the git repo, install the
build-depends and run 'make'. The package build is still broken...
--
tschau,
Holger
-------------------------------------------------------------------------------
holger@(debian|reproducible-builds|layer-acht).org
PGP fingerprint: B8BF 5413 7B09 D35C F026 FE9D 091A B856 069A AA1C
signature.asc
(application/pgp-signature, 833 B)
-----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEEuL9UE3sJ01zwJv6dCRq4VgaaqhwFAl04wjMACgkQCRq4Vgaa qhxBWRAApP6WO0gedRhILBdmeWyUWMfwjh36MbmBLGwfRHlznkDgbVFGS+4hzBgV IHli9QMu3+N08ktdLTq8KP0/WkmqNCQ5JqO4pqrPxb8jwSb12jXIXr21YYueBhQL IgL72IAgNSzbDmaUzwnfqIYZzGRzOj1O9gTueOpzNjTGEiSDEil2xWrlmvBxhJKK 2ArYDELXPU2L3IY77RQ2idDubVk7hWSkFvZAK5edVwhxMdMT6cXgpXcF8YD/IZxd kM+TIpyI1ENBOb1mEM0bhg5zgNJcgx+OLmoM9FJ6mPi4juSGK2sGQ3QU8PXb1PJ/ UPTQpbr9oUUWf7MeueoD0GmyYCRnlZ+1lwNR388sxP7kY1pZ/21VnOcF705AVOrh SChA17emk9NirXSRuf7BsAGFaF3NScu/ouoU/SULrXGRkFljL/dltcIg+T4Drpfw sqc6BfIkN38HkDaPhmOatnG5soglefk78NH83cRNiGbrcKOr+i0zuVjof/c5b/Q0 nC78zE6yK+60Hs7d3rHkawrdokhRe1sgvHr5voKWEN8Kka307gmuBvKRzsV65B8v vHmhcq7yChbTKnNJgBNKEAwJlDHBtgKKcTZ5EN8cdIMArYmn9qSyLDk2pQBn9ihr TR5OBd/6qg+aJp6x4xVfDS0xhRHpjMgsGnc3G62nbfIVYtWzS20= =+aZG -----END PGP SIGNATURE-----