Re: [Mathlib-develop] documentation

[Stefan M. <st...@he...>]

Mark wrote:
>> Mark: there are several html-files in Documentation/functions/
>> I couldn't come up with the same files. What did you do to
>> create them?
>>
> Creating function documentation is handled by builddocs.sh. This is a 
> bash script but it  needs to be converteed to perl to make it portable.
> 
> what should happen is createdocs.pl is used to build up a set of xml 
> files. Then createdoc_xml.pl is called to merge all these files into a 
> single xml file.
I works exactly as you described it. I changed createdocs.pl to 
recursivly parse all subdirctories. There is still some work to do.

> This is then translated to html using saxon.
This works, too. (I'm using newer versions of saxon and fop)

> If there are any other HTML files then they might be old files. Which 
> files aren't you sure about.
The files in Documentation/functions/
e.g. addpath.html and addpath_src.html
are not created with any target defined in build.xml. The html-files
contain nice links to the group of the given function and also to
the functions mentioned in the section "See also". The links to
the group files e.g. "../Functions_system.html" also don't work, because
these files are not in the repository.

Maybe all the files in Documentation/function/ are from an old ant target??

Best regards,
   Stefan.


------------------------------------
Dr.-Ing. Stefan Mueller
email: St...@he...
------------------------------------