[Xen-devel] [PATCH 4/9] docs/gen-html-index: Extract titles from HTML documents

2018-04-25 Thread Ian Jackson
Signed-off-by: Ian Jackson Release-acked-by: Juergen Gross Acked-by: Lars Kurth (cherry picked from commit 7782db9260d4c6499458de4e8d9866bc0427e143) [ Combined with: ] docs/gen-html-index: Make HTML::TreeBuilder::XPath optional again 7782db9260d4 "docs/gen-html-index: Extract titles from HTML

[Xen-devel] [PATCH 4/9] docs/gen-html-index: Extract titles from HTML documents

2018-04-11 Thread Ian Jackson
Signed-off-by: Ian Jackson Release-acked-by: Juergen Gross --- docs/gen-html-index | 13 + 1 file changed, 13 insertions(+) diff --git a/docs/gen-html-index b/docs/gen-html-index index e9792bf..5b43b42 100644 --- a/docs/gen-html-index +++ b/docs/gen-html-index @@ -10,6 +10,7 @@ use