Hi Pádraig,
I'm working on getting GNU Time updated. I cleaned up some of the aging
code a bit, so I'm focusing on other things now such as the missing
documentation on gnu.org.
Coreutils serves as a very nice reference for this. However, I ran into
this when running 'make web-manual', certainly caused by our recent
changes:
Generating html by node... (env LANG= LC_TIME= LC_MESSAGES= LC_ALL=
LANGUAGE= SHELL='/bin/sh'
/home/collin/.local/src/coreutils/build-aux/makeinfo-wrapper.sh --html -o
coreutils.html --no-node-files
--css-ref=https://www.gnu.org/software/gnulib/manual.css -c
TOP_NODE_UP_URL=/manual "/home/collin/.local/src/coreutils/doc/coreutils.texi")
3172 /home/collin/.local/src/coreutils/doc/manual/html_node/
-rw-r--r--. 1 collin collin 408298 Feb 7 12:30
/home/collin/.local/src/coreutils/doc/manual/coreutils.html_node.tar.gz
Making .tar.gz for sources...
../build-aux/gendocs.sh: line 427: SHELL='/bin/sh': No such file or
directory
-rw-r--r--. 1 collin collin 225895 Feb 7 12:30
/home/collin/.local/src/coreutils/doc/manual/coreutils.texi.tar.gz
Here is the line where we run into trouble:
if case `$MAKEINFO --version | sed -e 's/^[^0-9]*//' -e 1q` in \
Any ideas for a fix?
While writing this mail, I think using #!@SHELL@ in
build-aux/makeinfo-wrapper.sh.in might work to allow us the use the
environment variable from the MAKEINFO variable. Let me try that.
Collin
