julia: add versions 1.1 and 1.2

pull/1064/head
Simon Legner 6 years ago
parent d39f0dcd1c
commit cd2339d96a

@ -383,7 +383,7 @@ credits = [
'https://raw.githubusercontent.com/jquery/api.jqueryui.com/master/LICENSE.txt' 'https://raw.githubusercontent.com/jquery/api.jqueryui.com/master/LICENSE.txt'
], [ ], [
'Julia', 'Julia',
'2009-2018 Jeff Bezanson, Stefan Karpinski, Viral B. Shah, and other contributors', '2009-2019 Jeff Bezanson, Stefan Karpinski, Viral B. Shah, and other contributors',
'MIT', 'MIT',
'https://raw.githubusercontent.com/JuliaLang/julia/master/LICENSE.md' 'https://raw.githubusercontent.com/JuliaLang/julia/master/LICENSE.md'
], [ ], [

@ -8,12 +8,32 @@ module Docs
options[:only_patterns] = [/\Amanual\//, /\Astdlib\//] options[:only_patterns] = [/\Amanual\//, /\Astdlib\//]
options[:attribution] = <<-HTML options[:attribution] = <<-HTML
&copy; 2009&ndash;2018 Jeff Bezanson, Stefan Karpinski, Viral B. Shah, and other contributors<br> &copy; 2009&ndash;2019 Jeff Bezanson, Stefan Karpinski, Viral B. Shah, and other contributors<br>
Licensed under the MIT License. Licensed under the MIT License.
HTML HTML
version '1.2' do
self.release = '1.2.0'
self.base_url = "https://docs.julialang.org/en/v#{release}/"
self.type = 'julia'
html_filters.push 'julia/entries', 'julia/clean_html'
options[:container] = '#docs'
end
version '1.1' do
self.release = '1.1.1'
self.base_url = "https://docs.julialang.org/en/v#{release}/"
self.type = 'julia'
html_filters.push 'julia/entries', 'julia/clean_html'
options[:container] = '#docs'
end
version '1.0' do version '1.0' do
self.release = '1.0.1' self.release = '1.0.4'
self.base_url = "https://docs.julialang.org/en/v#{release}/" self.base_url = "https://docs.julialang.org/en/v#{release}/"
self.type = 'julia' self.type = 'julia'

Loading…
Cancel
Save