Dummy output for doc/as.texi