 |
 |
> Define docprefix (not public) to be $prefix/share/doc if $prefix > contains '/star/', or $prefix/share/starlink/doc if $prefix doesn't > contain '/star/' (that is, if it's /usr/local or /opt or something). What about /stardev? > If it were desirable to have all the SUNs in one place, then it would > I'm sure be possible to fiddle it, and have links to per-component SUNs > gathered together in one directory. It's historic having both the documentation in both a collection and in per software item. People are more familiar looking at /star/docs (and the VMS logical equivalent before it). It may just be a matter of education and using "grep -r" or findme to find text across all the documents. Does this proposal affect the incorporation of additional image files in to the .htx directory, as needed for SUN/95? Malcolm