Put two spaces between sentences in GPL notice.

Fixes half of Savannah #51609 but applies it much more generally.

This is a wide-ranging change, but it makes these notices consistent
with modern copies of the GPLv3 text.  (Some of these files are not
GPLv3, but that's where the boilerplate comes from; GPLv2 and LGPLv2.x
used semicolons to separate these clauses instead.)

If the next resync with Autotools regresses some of these, well, that's
a bug in Autotools.

I checked with wc -L, and no file grew its longest line to 81 characters
due to this change.

contrib/hdtbl/hdmisc.tmac-u only:
Signed-off-by: Bjarni Ingi Gislason <bjarniig@rhi.hi.is>

Blame me for the rest.

Signed-off-by: G. Branden Robinson <g.branden.robinson@gmail.com>

22 files changed, 22 insertions, 22 deletions

diff --git a/font/devX100-12/devX100-12.am b/font/devX100-12/devX100-12.am
index c4bf9f6d0..e50fe2285 100644
--- a/font/devX100-12/devX100-12.am
+++ b/font/devX100-12/devX100-12.am
@@ -16,7 +16,7 @@
 # General Public License for more details.
 #
 # You should have received a copy of the GNU General Public License
-# along with this program. If not, see <http://www.gnu.org/licenses/>.
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 DEVX10012FONTS = \
   font/devX100-12/DESC \
diff --git a/font/devX100/devX100.am b/font/devX100/devX100.am
index 439348d9f..cac63d999 100644
--- a/font/devX100/devX100.am
+++ b/font/devX100/devX100.am
@@ -16,7 +16,7 @@
 # General Public License for more details.
 #
 # You should have received a copy of the GNU General Public License
-# along with this program. If not, see <http://www.gnu.org/licenses/>.
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 DEVX100FONTS = \
   font/devX100/DESC \
diff --git a/font/devX75-12/devX75-12.am b/font/devX75-12/devX75-12.am
index b8b32c55e..d8fecc804 100644
--- a/font/devX75-12/devX75-12.am
+++ b/font/devX75-12/devX75-12.am
@@ -16,7 +16,7 @@
 # General Public License for more details.
 #
 # You should have received a copy of the GNU General Public License
-# along with this program. If not, see <http://www.gnu.org/licenses/>.
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 DEVX7512FONTS = \
   font/devX75-12/DESC \
diff --git a/font/devX75/devX75.am b/font/devX75/devX75.am
index 00f2b6e3a..52e1e11a7 100644
--- a/font/devX75/devX75.am
+++ b/font/devX75/devX75.am
@@ -16,7 +16,7 @@
 # General Public License for more details.
 #
 # You should have received a copy of the GNU General Public License
-# along with this program. If not, see <http://www.gnu.org/licenses/>.
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 DEVX75FONTS = \
   font/devX75/DESC \
diff --git a/font/devascii/devascii.am b/font/devascii/devascii.am
index bbb470c20..7f05abf8f 100644
--- a/font/devascii/devascii.am
+++ b/font/devascii/devascii.am
@@ -16,7 +16,7 @@
 # General Public License for more details.
 #
 # You should have received a copy of the GNU General Public License
-# along with this program. If not, see <http://www.gnu.org/licenses/>.
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 devascii_srcdir = $(top_srcdir)/font/devascii
 DEVASCIIFONTS = R I B BI
diff --git a/font/devcp1047/devcp1047.am b/font/devcp1047/devcp1047.am
index 617c8f469..f057c2473 100644
--- a/font/devcp1047/devcp1047.am
+++ b/font/devcp1047/devcp1047.am
@@ -16,7 +16,7 @@
 # General Public License for more details.
 #
 # You should have received a copy of the GNU General Public License
-# along with this program. If not, see <http://www.gnu.org/licenses/>.
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 devcp1047_srcdir = $(top_srcdir)/font/devcp1047
 DEVCP1047FONTS = R I B BI
diff --git a/font/devdvi/devdvi.am b/font/devdvi/devdvi.am
index 353bc6ad2..efab08240 100644
--- a/font/devdvi/devdvi.am
+++ b/font/devdvi/devdvi.am
@@ -16,7 +16,7 @@
 # General Public License for more details.
 #
 # You should have received a copy of the GNU General Public License
-# along with this program. If not, see <http://www.gnu.org/licenses/>.
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 devdvi_srcdir = $(top_srcdir)/font/devdvi
 DEVDVIFONTFILES = \
diff --git a/font/devdvi/generate/Makefile b/font/devdvi/generate/Makefile
index cea9ee5f1..fc77fb9cd 100644
--- a/font/devdvi/generate/Makefile
+++ b/font/devdvi/generate/Makefile
@@ -18,7 +18,7 @@
 # for more details.
 #
 # You should have received a copy of the GNU General Public License
-# along with this program. If not, see <http://www.gnu.org/licenses/>.
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 # This is set up so you can do:
 #   make -f generate/Makefile
diff --git a/font/devhtml/devhtml.am b/font/devhtml/devhtml.am
index e2a39d6db..71c8c2bce 100644
--- a/font/devhtml/devhtml.am
+++ b/font/devhtml/devhtml.am
@@ -16,7 +16,7 @@
 # General Public License for more details.
 #
 # You should have received a copy of the GNU General Public License
-# along with this program. If not, see <http://www.gnu.org/licenses/>.
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 devhtml_srcdir = $(top_srcdir)/font/devhtml
 DEVHTMLFONTS = R I B BI CR CI CB CBI S
diff --git a/font/devlatin1/devlatin1.am b/font/devlatin1/devlatin1.am
index 98730e165..19e210f19 100644
--- a/font/devlatin1/devlatin1.am
+++ b/font/devlatin1/devlatin1.am
@@ -16,7 +16,7 @@
 # General Public License for more details.
 #
 # You should have received a copy of the GNU General Public License
-# along with this program. If not, see <http://www.gnu.org/licenses/>.
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 devlatin1_srcdir = $(top_srcdir)/font/devlatin1
 DEVLATIN1FONTS = R I B BI
diff --git a/font/devlbp/devlbp.am b/font/devlbp/devlbp.am
index f98e9ae61..ce336b185 100644
--- a/font/devlbp/devlbp.am
+++ b/font/devlbp/devlbp.am
@@ -16,7 +16,7 @@
 # General Public License for more details.
 #
 # You should have received a copy of the GNU General Public License
-# along with this program. If not, see <http://www.gnu.org/licenses/>.
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 LBPPRINT=$(PSPRINT)
 devlbp_srcdir = $(top_srcdir)/font/devlbp
diff --git a/font/devlj4/devlj4.am b/font/devlj4/devlj4.am
index 37477fc58..504dd03bb 100644
--- a/font/devlj4/devlj4.am
+++ b/font/devlj4/devlj4.am
@@ -16,7 +16,7 @@
 # General Public License for more details.
 #
 # You should have received a copy of the GNU General Public License
-# along with this program. If not, see <http://www.gnu.org/licenses/>.
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 devlj4_srcdir = $(top_srcdir)/font/devlj4
 LJ4RES = 1200
diff --git a/font/devlj4/generate/Makefile b/font/devlj4/generate/Makefile
index 6c5c6c818..8e6b60ac3 100644
--- a/font/devlj4/generate/Makefile
+++ b/font/devlj4/generate/Makefile
@@ -18,7 +18,7 @@
 # for more details.
 #
 # You should have received a copy of the GNU General Public License
-# along with this program. If not, see <http://www.gnu.org/licenses/>.
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 # Directory containing Autofont TFM files.
 # The TFM files used are available for ftp as
diff --git a/font/devpdf/Foundry.in b/font/devpdf/Foundry.in
index 0dad90760..df9ec8d6a 100644
--- a/font/devpdf/Foundry.in
+++ b/font/devpdf/Foundry.in
@@ -16,7 +16,7 @@
 # for more details.
 #
 # You should have received a copy of the GNU General Public License
-# along with this program. If not, see <http://www.gnu.org/licenses/>.
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 #=====================================================================
 #Foundry|Name|Searchpath
diff --git a/font/devpdf/devpdf.am b/font/devpdf/devpdf.am
index 9e3fadc10..ddbc1aa10 100644
--- a/font/devpdf/devpdf.am
+++ b/font/devpdf/devpdf.am
@@ -19,7 +19,7 @@
 # for more details.
 #
 # You should have received a copy of the GNU General Public License
-# along with this program. If not, see <http://www.gnu.org/licenses/>.
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 devpdf_srcdir = $(top_srcdir)/font/devpdf
 GROFF_FONT_FILES=`cd $(top_builddir)/font/devpdf && grep -l internalname * | grep -v devpdf.am`
diff --git a/font/devpdf/util/BuildFoundries.pl b/font/devpdf/util/BuildFoundries.pl
index 39f2f0d2e..b2561f1aa 100644
--- a/font/devpdf/util/BuildFoundries.pl
+++ b/font/devpdf/util/BuildFoundries.pl
@@ -19,7 +19,7 @@
 # for more details.
 #
 # You should have received a copy of the GNU General Public License
-# along with this program. If not, see <http://www.gnu.org/licenses/>.
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 use strict;
 
diff --git a/font/devps/devps.am b/font/devps/devps.am
index 72c679977..0df289ff9 100644
--- a/font/devps/devps.am
+++ b/font/devps/devps.am
@@ -16,7 +16,7 @@
 # General Public License for more details.
 #
 # You should have received a copy of the GNU General Public License
-# along with this program. If not, see <http://www.gnu.org/licenses/>.
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 devps_srcdir = $(top_srcdir)/font/devps
 devps_builddir = $(top_builddir)/font/devps
diff --git a/font/devps/generate/Makefile b/font/devps/generate/Makefile
index 2b75ccea7..b77844029 100644
--- a/font/devps/generate/Makefile
+++ b/font/devps/generate/Makefile
@@ -16,7 +16,7 @@
 # for more details.
 #
 # You should have received a copy of the GNU General Public License
-# along with this program. If not, see <http://www.gnu.org/licenses/>.
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 # This is set up so you can do
 #   make -f generate/Makefile
diff --git a/font/devps/generate/make-zapfdr b/font/devps/generate/make-zapfdr
index b65380288..a258513d7 100755
--- a/font/devps/generate/make-zapfdr
+++ b/font/devps/generate/make-zapfdr
@@ -19,7 +19,7 @@
 # for more details.
 #
 # You should have received a copy of the GNU General Public License
-# along with this program. If not, see <http://www.gnu.org/licenses/>.
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 #
 # usage:
diff --git a/font/devutf8/devutf8.am b/font/devutf8/devutf8.am
index 574b632b5..98bb9de5b 100644
--- a/font/devutf8/devutf8.am
+++ b/font/devutf8/devutf8.am
@@ -16,7 +16,7 @@
 # General Public License for more details.
 #
 # You should have received a copy of the GNU General Public License
-# along with this program. If not, see <http://www.gnu.org/licenses/>.
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 devutf8_srcdir = $(top_srcdir)/font/devutf8
 DEVUTF8FONTS = R I B BI
diff --git a/font/scripts/scripts.am b/font/scripts/scripts.am
index 65e183ff0..b27790a03 100644
--- a/font/scripts/scripts.am
+++ b/font/scripts/scripts.am
@@ -16,7 +16,7 @@
 # for more details.
 #
 # You should have received a copy of the GNU General Public License
-# along with this program. If not, see <http://www.gnu.org/licenses/>.
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 # Scripts for font files generation
 GENFONTSSH=$(top_srcdir)/font/scripts/genfonts.sh
diff --git a/font/util/make-Rproto b/font/util/make-Rproto
index 4e2470563..289af3560 100755
--- a/font/util/make-Rproto
+++ b/font/util/make-Rproto
@@ -19,7 +19,7 @@
 # for more details.
 #
 # You should have received a copy of the GNU General Public License
-# along with this program. If not, see <http://www.gnu.org/licenses/>.
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 #
 # usage: