# Do not ignore these.  The release procedure (web-manual-update)
# works in the src tree (even when run from the build tree) and leaves
# these files around.  Since they take precedence over the files in
# the build tree, locally built manuals use obsolete auxiliary files.
#
# So don't hide them, give the maintainer a chance to clean them.
#/bison.aux
#/bison.cp
#/bison.cps
#/bison.toc
*.dvi
*.ps
/bison.1
/bison.help
/bison.html
/bison.info
/cross-options.texi
/figs/*.eps
/figs/*.svg
/gendocs_template
/gendocs_template_min
/gpl-3.0.texi
/relocatable.texi
/stamp-vti
/version.texi
/yacc.1
