fix_libaux.sed   [plain text]

#! /bin/sed -f
s/{\\tt  \\hackscore  {}\\hackscore  {}/\\sectcode{__/
s/\\hackscore  {}\\hackscore  {}/__/