Hello, I'd like to make public my work on the integration of the original (NAGcdrom) .htex sources of the documentation into the normal build process of fricas. It's branch "htexdoc" in my githup repo.
https://github.com/hemmecke/fricas/tree/htexdoc The patches are not yet cleaned up, but that shouldn't prevent you from compilation (configure && make && make install). I'd like to get feedback about broken links in the resulting HyperDoc window. There are still broken links (see below), but at least the one I found is already broken in 1.2.0. The original glossary seems to live in ug22.htex, but I haven't found a script to generate the glossary properly from that file. I've already syncronized the .htex files with the modifications that Waldek has done to the .ht files in FriCAS. Comparison of the generated share/hypertex/pages directory in the install directory with version 1.2.0 should show you that there are only minor differences. Done: - remove .ht files that can be generated from .htex files (some of the .ht files are original sources) - generate .input files and run through AXIOMsys to produce output for the commands in the documentation - generate bitmap files - generate .help files for the system commands (")read", ")history", ")cd", etc. - The build can run in parallel. Missing: - Glossary generation (currently gloss.ht is still in use) - .help files for the examples - .tex files of the Axiom book - I have temporarily created two "What's New" entries. a) Link to chapter 15 which is related to old Axiom News b) the release notes That must, of course, be cleaned up. Ralf =================== broken link ============================ In HyperDoc click Reference > Axiom Book > 2. Using Types and Modes > 2.7. Conversion Clicking now on the first word "Conversion" leads to a non-existing page. The source is "\spadglossSee{Conversion}{conversion}" in ug02.htex which obviously points to the glossary. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
