On 2018-03-01, Dominique Devienne wrote: > On Thu, Mar 1, 2018 at 7:28 AM, Gintautas Grigelionis < > g.grigelio...@gmail.com> wrote:
>> I tried then to use the replacement tags as consistently as possible in >> such a large body of text, but I realised that we perhaps need a kind of a >> style guide. Would you like to discuss it? Where would it best fit in the >> source code tree? I'm not convinced I want to have any kind of rules keep people from writing docs :-) > Isn't the HTML manual generated? Sure it's checked-in, but I thought there > was a generation process. This site is generated, the manual is not. We once had experiments creating the task manual pages via a doclet IIRC, but this never went far enough to be used in practice. Adding all the stuff that is part of the manual back into the classes would certainly require a lot of time, which was one of the problems. Stefan --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional commands, e-mail: dev-h...@ant.apache.org