[devdocsgjs/main: 1317/1867] Fix HTML filter for Julia 1.4+
- From: Andy Holmes <andyholmes src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [devdocsgjs/main: 1317/1867] Fix HTML filter for Julia 1.4+
- Date: Fri, 19 Nov 2021 23:47:53 +0000 (UTC)
commit 17cbea7d4eea8fe3fb5cdde799ea3a1a4ab53893
Author: Phil Scherer <pnscher evoforge org>
Date: Mon Nov 30 19:40:24 2020 +0000
Fix HTML filter for Julia 1.4+
lib/docs/filters/julia/clean_html.rb | 10 +++++++++-
1 file changed, 9 insertions(+), 1 deletion(-)
---
diff --git a/lib/docs/filters/julia/clean_html.rb b/lib/docs/filters/julia/clean_html.rb
index 00ebfb6d..d228166a 100644
--- a/lib/docs/filters/julia/clean_html.rb
+++ b/lib/docs/filters/julia/clean_html.rb
@@ -4,11 +4,19 @@ module Docs
def call
css('> header', '> footer').remove
+ # Julia 1.4+ uses different HTML
+ at_css('h1').content = at_css('h1').content
+
+ if at_css('#documenter-page')
+ @doc.children = at_css('#documenter-page').children
+ end
+ # End 1.4+ specific cleaning
+
css('.docstring', 'div:not([class])').each do |node|
node.before(node.children).remove
end
- css('.docstring-header').each do |node|
+ css('.docstring-header', 'header').each do |node|
node.name = 'h3'
node.children.each { |child| child.remove if child.text? }
node.remove_attribute('class')
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]