aboutsummaryrefslogtreecommitdiff
path: root/gas/doc
diff options
context:
space:
mode:
authorRoland Pesch <pesch@cygnus>1992-04-28 02:35:40 +0000
committerRoland Pesch <pesch@cygnus>1992-04-28 02:35:40 +0000
commiteaeebcc9d748157df2644abe78967ddea874cf9e (patch)
tree4d31af0d1361ddb17a571bbf3882acca52a3f5c1 /gas/doc
parent8038106352563be3c643c835eb8d7d73ca9b42c0 (diff)
downloadgdb-eaeebcc9d748157df2644abe78967ddea874cf9e.zip
gdb-eaeebcc9d748157df2644abe78967ddea874cf9e.tar.gz
gdb-eaeebcc9d748157df2644abe78967ddea874cf9e.tar.bz2
Remove local formatting kluges, not meant for distribution.
Diffstat (limited to 'gas/doc')
-rw-r--r--gas/doc/as.texinfo5
1 files changed, 2 insertions, 3 deletions
diff --git a/gas/doc/as.texinfo b/gas/doc/as.texinfo
index 7f3d80f..4a7c303 100644
--- a/gas/doc/as.texinfo
+++ b/gas/doc/as.texinfo
@@ -12,9 +12,8 @@ _if__(!_GENERIC__)
@settitle Using _AS__ (_HOST__)
_fi__(!_GENERIC__)
@setchapternewpage odd
-@input smpklug.texi
-@smallbook
-@cropmarks
+@c @smallbook
+@c @cropmarks
@c %**end of header
@ifinfo