From 8678b5aa9764add2b7b81bb22f1fc256d659b55e Mon Sep 17 00:00:00 2001 From: Simon Legner Date: Thu, 12 Jan 2023 21:19:34 +0100 Subject: [PATCH] Update Julia documentation (1.8.5) --- lib/docs/scrapers/julia.rb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/docs/scrapers/julia.rb b/lib/docs/scrapers/julia.rb index f1669dec..d599bcef 100644 --- a/lib/docs/scrapers/julia.rb +++ b/lib/docs/scrapers/julia.rb @@ -12,8 +12,8 @@ module Docs HTML version '1.8' do - self.release = '1.8.0' - self.base_url = "https://docs.julialang.org/en/v#{release}/" + self.release = '1.8.5' + self.base_url = "https://docs.julialang.org/en/v#{version}/" self.type = 'julia' html_filters.push 'julia/entries', 'julia/clean_html'