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

[Stas Boukarev]

Teemu Likonen <tlikonen at 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.

-- 
With best regards, Stas.