At 3:12 PM +0100 3/20/09, Bert Freudenberg wrote:
... I worked with Rita and found that the code gathering guides only looks for the sexp.data.gz files, but the code actually loading the guide works with both .pr and sexp.data.gz files. So if you put an empty sexp.data.gz next to the .pr it works fine.
Bert and Rita, You have uncovered a bug. My intention was that the author should replace any .sexp.data.gz file with a .pr file and then see the new version of the guide. Thank you for figuring this out.
--Ted.