diff --git a/gas/doc/as.texinfo b/gas/doc/as.texinfo
index 7f3d80f106a..4a7c3034547 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