Track as.texinfo

diff --git a/gas/doc/as-all.texinfo b/gas/doc/as-all.texinfo
index c4105c1ba55748c3a77f688466c9fa566e5f8ad5..5558df093606664fcda6c7265e0b5f4515bf56cb 100644 (file)
--- a/gas/doc/as-all.texinfo
+++ b/gas/doc/as-all.texinfo
@@ -4,9 +4,8 @@
 @setfilename as.info
 @settitle Using as
 @setchapternewpage odd
-@input smpklug.texi
-@smallbook
-@cropmarks
+@c @smallbook
+@c @cropmarks
 @c %**end of header
 
 @ifinfo