[Maxima] maxima 5.14.0 release candidate 1
villate at fe.up.pt
Wed Dec 5 09:45:27 CST 2007
On Tue, 2007-12-04 at 08:39 -0700, Robert Dodier wrote:
> html + category stuff has failed, namely it is supposed to create
> a temporary working directory, do all the work there, and copy the
> html files back to doc/info (and not the modified .texi files).
> If modified .texi files have appeared in your doc/info directory,
> something has gone wrong.
> What effect does "mktemp -d /tmp/foo-XXXXXX" have on your system?
mktemp works fine. The temporary directory is being created, and the
files are being copied there. The problem is with the command:
pushd works in my system (Ubuntu) if I use it directly, but if I use it
as "sudo pushd" it doesn't work. In Ubuntu one never logs in as
superuser, so what I have to do is "sudo make install".
The failure of pushd means that /extract_categories.sh stays in the
doc/info/ directory and does all its modifications there, instead of the
I have fixed the problem by changing the following lines in
By the following:
Can I commit those changes, or do you have any objections?
More information about the Maxima