On Sun, 9 Dec 2018 11:16:28 -0500 Jeremy Bicha <jbi...@ubuntu.com> wrote:
> On Thu, Sep 20, 2018 at 7:22 AM Andre Klapper <ak...@gmx.net> wrote: > > Personally I've always wondered how the "Keyboard Shortcuts" item > > potentially duplicates dedicated pages in some user docs, such as > > https://help.gnome.org/users/gnome-help/stable/shell-keyboard-shortcuts.html > > https://gitlab.gnome.org/GNOME/evolution/blob/master/help/C/intro-keyboard-shortcuts.page > > [1] > > https://help.gnome.org/users/five-or-more/stable/shortcuts.html > > https://help.gnome.org/users/iagno/stable/shortcuts.html > > > > Maybe agreeing on a skeleton (strings to translate only once across > > repos if you use software with a translation memory) / guidelines for a > > shortcuts Mallard help page (and page name) is an option? > > I've been adding the Keyboard Shortcuts dialogs to several games as > part of the 3.32 app menu updates and I've run into this duplication > issue. I'd like to remove the Keyboard Shortcuts page from the help > for these games. > > Especially with the GNOME 3.32 app menu design, it's really easy to > find Keyboard Shortcuts now. Good point. Technically, you can still reference the page from gnome-help in your app docs, for example: <link type="seealso" href="help:gnome-help/shell-keyboard-shortcuts"> This might invalidate the Mallard syntax (yelp-check won't be able to find the resource locally), but it won't break the build. The reference will work locally only if gnome-user-docs is installed, and it won't work online (no implementation for it in library-web. Cheers, pk _______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/desktop-devel-list
