From: Bruno Haible <bruno@clisp.org>
Date: Tue, 8 Jan 2008 01:24:39 +0000 (+0100)
Subject: No need to drop periods from section names.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=714e4a2a87bd85a43e78062ede7de72da8b89289;p=pspp

No need to drop periods from section names.
---

diff --git a/ChangeLog b/ChangeLog
index 62ff4304f0..42ac58b988 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2008-01-07  Bruno Haible  <bruno@clisp.org>
+
+	* doc/gnulib-intro.texi (Library vs Reusable Code): Restore the
+	previous section name.
+
 2008-01-07  Bruno Haible  <bruno@clisp.org>
 
 	* lib/progname.c (set_program_name): Don't strip off a leading
diff --git a/doc/gnulib-intro.texi b/doc/gnulib-intro.texi
index 34f5f09dd4..527fad58cb 100644
--- a/doc/gnulib-intro.texi
+++ b/doc/gnulib-intro.texi
@@ -1,5 +1,5 @@
 @node Library vs Reusable Code
-@section Library vs Reusable Code
+@section Library vs. Reusable Code
 
 Classical libraries are installed as binary object code.  Gnulib is
 different: It is used as a source code library.  Each package that uses