X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=gnuradio-core%2Fdoc%2FMakefile.in;fp=gnuradio-core%2Fdoc%2FMakefile.in;h=76e172a5293157e58492f17526c9d961b1290a38;hb=4f7dda1f147c22377c64e81ff11dd4cd5ccc6210;hp=0582c4c15dfd3591cb436435db015fcf9c5f0d47;hpb=3dfdb4be27138fa1b85e6d33b40fd0dd2cdb3a4e;p=debian%2Fgnuradio diff --git a/gnuradio-core/doc/Makefile.in b/gnuradio-core/doc/Makefile.in index 0582c4c1..76e172a5 100644 --- a/gnuradio-core/doc/Makefile.in +++ b/gnuradio-core/doc/Makefile.in @@ -21,7 +21,7 @@ # # GNU Radio is free software; you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by -# the Free Software Foundation; either version 2, or (at your option) +# the Free Software Foundation; either version 3, or (at your option) # any later version. # # GNU Radio is distributed in the hope that it will be useful, @@ -43,7 +43,7 @@ # # GNU Radio is free software; you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by -# the Free Software Foundation; either version 2, or (at your option) +# the Free Software Foundation; either version 3, or (at your option) # any later version. # # GNU Radio is distributed in the hope that it will be useful,