> Something to think about maybe.
Yeah, I've thought about it, and it is not at all clear. I understand
all of your points, but for the hardcopy versions of docs having a
single 600 page doc seems more unwieldy than having several 200 page
docs (yes, they *are* that big!!).
Just as you, I assume that people using html read the integrated doc.
btw, it is possible to mark up the docs so that you can, say, include
cross references if it is html but include only citation references if
it is hardcopy. So if we moved to having only the integrated doc in
html, and only the smaller docs in hardcopy, then we could put more
"clickable cross references" into the html.
- Thomas
--
Thomas Lockhart lockhart@alumni.caltech.edu
South Pasadena, California