diff options
| -rwxr-xr-x | gas/doc/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gas/doc/Makefile b/gas/doc/Makefile index 3d65faa..b9a9ece 100755 --- a/gas/doc/Makefile +++ b/gas/doc/Makefile @@ -32,6 +32,7 @@ as.dvi: as-${CONFIG}.texinfo as.ms: as-${CONFIG}.texinfo sed -e '/\\input texinfo/d' \ -e '/@c TEXI2ROFF-KILL/,/@c END TEXI2ROFF-KILL/d' \ + -e 's/{.*,,/{/' \ as-${CONFIG}.texinfo | \ texi2roff -ms >as.ms |