Re: [Fwd: Re: [Mathlib-develop] Status update]

[mark <msp...@ya...>]

Hi
On Sunday 06 Jul 2003 6:21 pm, Stefan Mueller wrote:
> mark wrote:
>   > Improve documentation.
>
> I tried to build the documentation some time ago, but couldn't get the
> tools to work which are mentioned in ant's makefile.
> Could you please commit the jar-files to CVS.

Okay I'll commit them in the next couple of days.=20

> Right now the generated documentation files committed to CVS. What abou=
t
> keeping them out of CVS like it is done with class-files? Most of the
> documentation is generated from m- or java-files. This would allow us
> to change the appearance without committing new files. The static files
> should be kept in CVS tough.
>

I agree. There's no need to store any files that are generated dynamicall=
y.
  =20
Best Regards

Mark Sparshatt