After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 744389 - Convert man: URIs to an online version when building HTML
Convert man: URIs to an online version when building HTML
Status: RESOLVED OBSOLETE
Product: yelp-tools
Classification: Core
Component: yelp-build
git master
Other All
: Normal minor
: ---
Assigned To: Yelp maintainers
Yelp maintainers
Depends on:
Blocks:
 
 
Reported: 2015-02-12 12:12 UTC by Philip Withnall
Modified: 2018-05-22 12:45 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Philip Withnall 2015-02-12 12:12:28 UTC 
If I have a
    <link href="man:poll(2)">blah</link>
in a Mallard document, running
    yelp-build html my-document.page
will produce a HTML page which links to ‘man:poll(2)’.

I’m not entirely sure this is the best behaviour. If the user clicks on that link from their web browser, they probably be given the option to open the link in Yelp. Maybe it would be better to link to http://linux.die.net/man/ instead, or something like that? Then the HTML pages are usable on devices which don’t have Yelp installed, for example.

I really don’t know what the best behaviour is. Let’s discuss it.
Comment 1 Shaun McCance 2015-06-01 15:30:23 UTC 
How complete is die.net's collection of man pages? We could definitely link off to an external site, but we should be careful which site we're endorsing. Could do the same for info as well.
Comment 2 Philip Withnall 2015-06-02 11:56:05 UTC 
(In reply to Shaun McCance from comment #1)
> How complete is die.net's collection of man pages? We could definitely link
> off to an external site, but we should be careful which site we're
> endorsing. Could do the same for info as well.

die.net was just a suggestion. Poking around a bit, it looks like man7.org might be a better bet, since it’s what the kernel homepage links to:

http://man7.org/linux/man-pages/
https://www.kernel.org/doc/man-pages/

It’s up to date:

http://man7.org/linux/man-pages/changelog.html

The pages are pretty nicely formatted too:

http://man7.org/linux/man-pages/man3/abort.3.html

I don’t know about info pages, since I never use them.
Comment 3 GNOME Infrastructure Team 2018-05-22 12:45:19 UTC 
-- GitLab Migration Automatic Message --

This bug has been migrated to GNOME's GitLab instance and has been closed from further activity.

You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.gnome.org/GNOME/yelp-tools/issues/10.