It took me a long time to notice that the main documentation files in
teach, help, ref, and doc
directories are missing!
As a temporary fix I've made them available in a tar file that can be
fetched and installed. The process is documented as a temporary solution
in the 'updates' section of:
https://www.cs.bham.ac.uk/research/projects/poplog/V16/AREADME.html
After installing the main package as described previously, fetch this
tar file:
https://www.cs.bham.ac.uk/research/projects/poplog/V16/docs.tgz
and copy it to the directory containing the poplog_base directory.
Then do
cd poplog_base/pop
tar xfz ../../docs.tgz
That will install the missing
teach help ref doc
directories.
After doing that run the command
$usepop/pop/com/makeindexes
It will update indexes used by the search commands in the editor.
I guess I knew too much to notice the missing files at first!
I'll later tidy the AREADME file.html
With all the documentation and the packages directory included the
total size is about
96 MB
Including a 7.4MB collection of saved images in $usepop/pop/lib/psv
(in my installation).
I wonder how that compares with space required by other Lisp, Prolog,
and ML installations on linux?
Aaron
