From 17cbea7d4eea8fe3fb5cdde799ea3a1a4ab53893 Mon Sep 17 00:00:00 2001 From: Phil Scherer Date: Mon, 30 Nov 2020 19:40:24 +0000 Subject: [PATCH] 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')