I claim that I am basically finished with re-establishing the build of
the hyperdoc documentation from the .htex files.

I've basically split into just two patches. The first one basically
brings everything in place whereas the second one moves the releaseNotes
and "Changes to Spad language" into ug15.htex.

https://github.com/hemmecke/fricas/commits/htexdoc

I have incorporated the relevant .htex files from NAGcdrom and removed
the corresponding .ht files.

Some of the .help files will be generated and some where simply copied
from NAGcdrom.

The glossary (gloss.ht, glossdef.text, glosskey.text) is regenerated
from gloss.text.

The viewports are generated. The special mobius stuff has been replaced
by a saddle picture that is anyway generated during the viewport generation.

I've changed the configure.ac file to test whether the xvfb-run program
is available. If it is, the viewports will be built automatically. If it
isn't, then viewports build is delayed until one explicitly calls

  cd src/hyper; make MAYBE_VIEWPORTS=viewports

This will (as was before) pop up windows and makes working on the
machine nearly impossible for a while. One can, of course, add "-j 8"
to run the build process in parallel.

Actually, the input files

https://github.com/hemmecke/fricas/blob/f5f5030f8938f18cba6c9a17e234f405f9055563/src/hyper/Makefile.in#L296

UG_EXTRA_INPUT = arrows bouquet matrix newton ribbon vectors

could all be generated from ug15.htex, but I haven't bothered, because
they already exist in .input.pamphlet form.

I hope you like it.

Ralf

PS:
Maybe I should add the content of this mail into the commit message. ;-)

PS2:

As usual

  git clone -b htexdoc git://github.com/hemmecke/fricas.git

or (in an existing clone) do

  git fetch origin
  # maybe you want to stash your own modifications away
  git stash
  git checkout htexdoc
  git reset --hard origin/htexdoc

-- 
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.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to