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

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

Hi

On Monday 07 Jul 2003 9:49 am, mark wrote:
> 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 th=
e
> > 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.
>

Now all the jar files used to generate the docs are within the=20
Documentation/src/tools directory.
=20
> > Right now the generated documentation files committed to CVS. What ab=
out
> > 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 fil=
es
> > should be kept in CVS tough.
>
> I agree. There's no need to store any files that are generated dynamica=
lly.
>

I've cleared out all the dynamic files. Or at least I think I have. If yo=
u=20
spot any you miss.

A note about creating the docs. When building the pdf/txt versions you'll=
 get=20
a lot of errors about properties not being implemented. This shouldn't af=
fect=20
the build process.

More importantly generating the pdf anf txt versions takes a long time (a=
bout=20
40 minutes on my machine) so it's not something you want to do often.

Best regards

Mark