The hyperdoc error occurs occurs because ht.db is incorrect. You can rebuild ht.db by changing to the hyper/pages directory and typing
htadd *.ht *.pht Tim _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
