Re: HELP_ID doesn't point to a real file, probably a macro

[Petr Kovar <pknbe volny cz>]

Hey,

On Fri, 08 Mar 2013 22:14:19 -0500
Shaun McCance <shaunm gnome org> wrote:

> The approach I usually use for plugin sets like this is to have a
> .page.stub file for every page I plug into in the main document.
> Then I run yelp with --editor-mode, and it picks those up.
>
> You can have normal .page files that aren't in HELP_FILES, but I
> personally find that really confusing. It makes it harder to keep
> track of actual omissions in HELP_FILES, and just begs for someone
> to come along and "fix" it incorrectly.

It somewhat works as a temporary workaround, but we definitely need some
real solution for this use-case.
  
> At any rate, I don't think DL should require an index.page file.
> This is a valid use-case that yelp.m4 was explicitly designed to
> support.

Filed as https://bugzilla.gnome.org/show_bug.cgi?id=695639

Cheers,
Petr Kovar