All of
 help / color / mirror / Atom feed
From: Markus Heiser <>
To: "Tobin C. Harding" <>
Cc: Jonathan Corbet <>,
Subject: Re: undefined label
Date: Fri, 8 Mar 2019 09:56:13 +0100	[thread overview]
Message-ID: <> (raw)
In-Reply-To: <20190307203041.GC21937@eros.localdomain>

Hi Tobin,

Am 07.03.19 um 21:30 schrieb Tobin C. Harding:
> On Thu, Mar 07, 2019 at 10:58:07AM +0100, Markus Heiser wrote:
>> If there is any interest in, I can implement a RFC for this.
> Cool!  I think this would be super useful, I for one like using
> SPHINXDIRS when developing docs incrementally so removing false warnings
> would be nice.  I doubt I'm the only one to be baffled about Sphinx
> references.  I'd be happy to review and test your RFC if you CC me.

Intersphinx has also drawbacks. E.g.:

 >> To close such cross-books links we can use intersphinx [1] and map to e.g.
 >>    intersphinx_mapping = {
 >>        'kernel': ('', None)}

This requires online access while building the output.  Anyway, as soon as
I have some time to spare I will send a RFC with more explanation about
(you will receive it in CC).

-- Markus --

> thanks,
> Tobin.

  reply	other threads:[~2019-03-08  8:56 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-03-07  9:17 undefined label Tobin C. Harding
2019-03-07  9:58 ` Markus Heiser
2019-03-07 20:30   ` Tobin C. Harding
2019-03-08  8:56     ` Markus Heiser [this message]
2019-03-08 12:17       ` Jani Nikula
2019-03-11 17:30         ` Jonathan Corbet
2019-03-12  7:57           ` Jani Nikula
2019-03-12  8:19           ` Markus Heiser

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \ \ \ \ \ \

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.