Update Julia documentation (1.8.5)

pull/1914/head
Simon Legner 2 years ago
parent 3319af21f8
commit 8678b5aa97

@ -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'

Loading…
Cancel
Save