summaryrefslogtreecommitdiffstats
path: root/Doc/tools/fix_libaux.sed
blob: 459b7e8d3658478d4bafec157c252212edf8d17b (plain)
1
2
3
#! /usr/bin/sed -f
s/{\\tt  \\hackscore  {}\\hackscore  {}/\\sectcode{__/
s/\\hackscore  {}\\hackscore  {}/__/