Re: [julia-users] Re: Building PDF Documentation For Julia

[Ivar Nesje]

That would be great! If you just make simple changes, the risk of 
conflicts/double work is small, so I would just do it and submit a Pull Request 
on github. For larger changes  it might be worth asking if we agree to the 
change. Unless it might be disappointing if we don't want it and you spent 
hours to make sure you changed every occurrence of a pattern.