Track as.texinfo

diff --git a/gas/doc/as-all.texinfo b/gas/doc/as-all.texinfo
index c4105c1..5558df0 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