[PATCH 6/9] gas: add support for eBPF

[Jose E. Marchesi]

    diff --git a/gas/doc/Makefile.in b/gas/doc/Makefile.in
    index 9d0520ec8e..d9623ec074 100644
    --- a/gas/doc/Makefile.in
    +++ b/gas/doc/Makefile.in
    @@ -1,7 +1,7 @@
    -# Makefile.in generated by automake 1.15.1 from Makefile.am.
    +# Makefile.in generated by automake 1.15 from Makefile.am.

I just spotted this.  On this patch only, I regenerated Makefile.in with
automake 1.15 instead of autoamke 1.15.1.

Will fix this.