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 /tmp/foo-XXXXXX
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
temporary directory.
I have fixed the problem by changing the following lines in
extract_categories.sh:
d=`pwd`
pushd $WORKING_DIRECTORY
...
popd
By the following:
d=`pwd`
cd $WORKING_DIRECTORY
...
cd $d
Can I commit those changes, or do you have any objections?
Regards,
Jaime