Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 702180 - devmanual: support URIs without link attributes
Summary: devmanual: support URIs without link attributes
Status: RESOLVED FIXED
Alias: None
Product: Documentation
Classification: Unclassified
Component: Devmanual (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Gentoo Devmanual Team
URL:
Whiteboard:
Keywords: PATCH
Depends on:
Blocks:
 
Reported: 2019-12-06 17:25 UTC by Michael Orlitzky
Modified: 2019-12-09 23:39 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments
0001-devbook.xsl-support-URIs-with-no-link-attribute.patch (0001-devbook.xsl-support-URIs-with-no-link-attribute.patch,1.74 KB, patch)
2019-12-06 17:36 UTC, Michael Orlitzky
Details | Diff
0002-devbook.xsl-reindent-the-block-that-handles-uri-elem.patch (0002-devbook.xsl-reindent-the-block-that-handles-uri-elem.patch,7.24 KB, patch)
2019-12-06 17:37 UTC, Michael Orlitzky
Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Michael Orlitzky gentoo-dev 2019-12-06 17:25:21 UTC
There's at least one place in the devmanual that uses <uri>http:www.example.com</uri>, without a link="" attribute. Instead of fixing that example, which is currently broken, it makes more sense to support the linkless syntax so that we don't have to repeat the same URI twice.
Comment 1 Michael Orlitzky gentoo-dev 2019-12-06 17:36:59 UTC
Created attachment 598642 [details, diff]
0001-devbook.xsl-support-URIs-with-no-link-attribute.patch
Comment 2 Michael Orlitzky gentoo-dev 2019-12-06 17:37:38 UTC
Created attachment 598644 [details, diff]
0002-devbook.xsl-reindent-the-block-that-handles-uri-elem.patch

Proof of concept, seems to work?
Comment 3 Ulrich Müller gentoo-dev 2019-12-06 18:15:25 UTC
Heh, I just noticed this bug literally 2 minutes after I've filed https://github.com/gentoo/devmanual/pull/119, otherwise I'd have avoided the duplicate work.
Comment 4 Michael Orlitzky gentoo-dev 2019-12-09 23:39:27 UTC
Done by ulm.