[Axiom-developer] Generating .pht pages

[Waldek Hebisch]

wh-sandbox reached its first milestone: starting from version 358 most
of .pht pages is genereted automatically. Comments:

1) in principle the existing mechanizm can generate all .pht pages. 
However two pages use NAG extensions, one page give misleading result
and 10 graphic pages require access to X server.

2) you may try generationg graphic pages and viewport -- changing
directory to 'src/paste' and running 'make gphts' should generate
all graphic pages and all viewport accessible from HyperDoc (the
new viewports stay in 'src/paste' direcory -- they are not installed).
As I wrote generating graphic requires access to X server (that is
why I made this part optional).

3) the process required bunch of bug fixes and workarounds -- otherwise
generating .pht pages may hang or produce wrong results. There is
still problem with exint.pht: Axiom integration routine gives now
different result (it can be argued that current result is wrong)
and in effect the generated page is misleading.  Also 'grpthry.pht'
is problematic: 'grpthry' uses probabilistic (Las Vegas) algorithm
and frequently stops before finding correct answer. IMHO that suggest
some bug, either in random number generation or in the algorithm.

4) generating .pht pages requires working sman, hypertex (and
graphic for graphic pages). If you are affected by pty problem
then build will fail.

5) As of version 363 you must have already installed noweb and gcl.
Alternatively, you can unpack noweb and/or gcl sources to noweb
(respectively gcl) subdirectory, then build process should pick
them automatically.

-- 
                              Waldek Hebisch
address@hidden