Re: [slime-devel] BUG + PATCH: doc/Makefile uses Bash extensions without setting SHELL=/bin/bash

Teemu Likonen tlikonen@iki.fi writes:

The "clean" target in doc/Makefile uses features of Bash shell, namely brace expansions:

rm -f slime.{info,pdf,dvi,ps,html}

This feature does not work with POSIX sh shell which the /bin/sh implements and which is the default shell used by "make". In some systems /bin/sh is a symlink to /bin/bash but not in all. For example, in Ubuntu GNU/Linux systems /bin/sh link points to /bin/dash which is very close to POSIX sh. Debian GNU/Linux will switch to /bin/sh -> /bin/dash in their next release.

So, to fix the bug you should either do this:

The second patch is applied, thanks.