hi,
some updates on this bug:
- the issue seems to have nothing to do with the single page html format,
it's also present in the multi page html version, and the cause seems
to be https://github.com/sphinx-doc/sphinx/issues/6614
- the issue is visible annoying in the generated package
control: tags -1 +moreinfo
thanks
hi,
(originally sent to the wrong (but archived) bug number...)
we're not shipping the manual in .info format, so I'm wondering whether this
bug should simply be closed, or why not?
--
cheers,
Holger
⢀⣴⠾⠻⢶⣦⠀
⣾⠁⢠⠒⠀⣿⡁
Processing control commands:
> tags -1 +moreinfo
Bug #934536 [src:developers-reference] info page needs to include more from
index.rst
Added tag(s) moreinfo.
--
934536: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=934536
Debian Bug Tracking System
Contact ow...@bugs.debian.org with
Processing control commands:
> tag -1 pending
Bug #658825 [developers-reference] Provide *single* page HTML manuals in
http://www.debian.org/doc/*
Added tag(s) pending.
--
658825: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=658825
Debian Bug Tracking System
Contact ow...@bugs.debian.org
Your message dated Thu, 09 Feb 2023 17:19:34 +
with message-id
and subject line Bug#658825: fixed in developers-reference 12.15
has caused the Debian Bug report #658825,
regarding Provide *single* page HTML manuals in http://www.debian.org/doc/*
to be marked as done.
This means that you
Thank you for your contribution to Debian.
Accepted:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Thu, 09 Feb 2023 17:43:54 +0100
Source: developers-reference
Architecture: source
Version: 12.14
Distribution: experimental
Urgency: medium
Maintainer: Developers Reference
developers-reference_12.15_source.changes uploaded successfully to localhost
along with the files:
developers-reference_12.15.dsc
developers-reference_12.15.tar.xz
developers-reference_12.15_source.buildinfo
Greetings,
Your Debian queue daemon (running on host usper.debian.org)
developers-reference_12.14_source.changes uploaded successfully to localhost
along with the files:
developers-reference_12.14.dsc
developers-reference_12.14.tar.xz
developers-reference_12.14_source.buildinfo
Greetings,
Your Debian queue daemon (running on host usper.debian.org)
hi,
actually I found the info version now, but it seems complete to me:
$ sudo apt install info
$ info developers-reference
# voila. /usr/share/info/developers-reference.info.gz is where the file is.
So I'm still inclined to close this bug.
--
cheers,
Holger
⢀⣴⠾⠻⢶⣦⠀
⣾⠁⢠⠒⠀⣿⡁
Your message dated Thu, 09 Feb 2023 17:04:22 +
with message-id
and subject line Bug#658825: fixed in developers-reference 12.14
has caused the Debian Bug report #658825,
regarding Provide *single* page HTML manuals in http://www.debian.org/doc/*
to be marked as done.
This means that you
On Thu, Feb 09, 2023 at 02:35:42PM +, Holger Levsen wrote:
> control: tags -1 +moreinfo
> thanks
>
> hi,
>
> (originally sent to the wrong (but archived) bug number...)
>
> we're not shipping the manual in .info format, so I'm wondering whether this
> bug should simply be closed, or why
Thank you for your contribution to Debian.
Accepted:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Thu, 09 Feb 2023 18:11:33 +0100
Source: developers-reference
Architecture: source
Version: 12.15
Distribution: unstable
Urgency: medium
Maintainer: Developers Reference
Hello,
On Fri 03 Feb 2023 at 05:24PM GMT, Jelmer Vernooij wrote:
> Package: debian-policy
> Severity: wishlist
>
> Policy currently describes Vcs-* headers as something optional, but stops to
> endorse a particular Vcs.
>
> At this point, it seems uncontroversial to encourage use of Vcs-Git
>
13 matches
Mail list logo
