Hi Andreas, On 26/12/2018 21:31 +0100, Andreas Beeker wrote:
> Hi Filipp, > > the documentation directory is a svn external, which is apparently not > mirrored to github. In case you would like verify the 4.0.1 build, > the svn tag [1] should work ... hopefully. I see, thanks. It'd be nice to be able to build from git also (perhaps, a git submodule for documentation directory?) > Just out of curiosity, why are you trying to run "ant dist" on a > released version? Just a usual habit of building everything (including docs) from version-controlled sources :-) Filipp --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
