Package: reportbug tetex-bin Version: 2.0.2-5.1 Severity: normal File: tetex shells like dash don't understand things like: cp -f /usr/share/misc/config.{guess,sub} ./texk/ cp -f /usr/share/misc/config.{guess,sub} ./utils/texinfo/ cp -f /usr/share/misc/config.{guess,sub} ./config/ putting: SHELL=/bin/bash in debian/rules solves it