1 files changed, 1 insertions, 0 deletions

diff --git a/bfd/scanit b/bfd/scanit
index 31c8232..27eee02 100755
--- a/bfd/scanit
+++ b/bfd/scanit
@@ -18,6 +18,7 @@ base=`echo $1 | cut -d '.' -f 1`
 
 awk -f awkscan $1 | \
 sed -f sedscript | \
+sed -f unPROTO | \
 sed -f exmerge  | \
 sed -f exfilter  >$base.texi