Martin Rubey wrote:
>
> Dear Waldek, *
>
> I'd like to update HyperDoc, completing the removal of "attributes". (Because
> it's straightforward...)
>
> Some files start with
>
> % Copyright The Numerical Algorithms Group Limited 1992-94. All rights
> reserved.
> % !! DO NOT MODIFY THIS FILE BY HAND !! Created by ht.awk.
> \texht{\setcounter{chapter}{10}}{} % Chapter 11
>
>
> Should I ignore this for now, or can we already recreate these pages? If so,
> what's the source?
>
We can recreate those pages, but this process in not integrated into
Makefiles. The tools need are on image of NAG cdrom (the one that
Tim posted some time ago). You can get the whole image at:
http://www.math.uni.wroc.pl/~hebisch/prog/NAGcdrom.tar.bz2
The programs are in the subdirectory cdrom/development/src/htex
and the page sources are in the subdirectory
cdrom/development/src/doc/htex
If you want to fetch just what is needed to generete pages the following
should do:
Programs
http://www.math.uni.wroc.pl/~hebisch/fricas/mkht
http://www.math.uni.wroc.pl/~hebisch/fricas/secmenu.awk
http://www.math.uni.wroc.pl/~hebisch/fricas/ht.awk
Page sources:
http://www.math.uni.wroc.pl/~hebisch/fricas/htex-pages.tar.gz
The main reason to use .htex file as sources would be to generate
updated versions of Jenk and Sutor book. However, that would
require some work merging already done updates to TeX files and hypertex
pages back into .htex files.
Now, concerning update to ug12.ht: best way of handling of documentation
caused controversies in the past, so if you after best way, then expect
longer disscusion. OTOH just updating ug12.ht should be good enough,
while we may be forced to re-do some work in the future, it is not
that much.
--
Waldek Hebisch
[EMAIL PROTECTED]
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en
-~----------~----~----~----~------~----~------~--~---
