>From bc2756dc57144fc22bca376554d5f49a9c145a61 Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Wed, 20 Feb 2019 14:22:35 -0800
Subject: [PROPOSED] Finish renaming theory.html section

* theory.html: Fix outdated section citations.
(Reported by Hans-Joerg Happel.)
---
 theory.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/theory.html b/theory.html
index 6f1a0ba..1b06720 100644
--- a/theory.html
+++ b/theory.html
@@ -15,7 +15,7 @@
     <ul>
       <li><a href="#scope">Scope of the <code><abbr>tz</abbr></code>
 	  database</a></li>
-      <li><a href="#naming">Names of timezones</a></li>
+      <li><a href="#naming">Timezone identifiers</a></li>
       <li><a href="#abbreviations">Time zone abbreviations</a></li>
       <li><a href="#accuracy">Accuracy of the <code><abbr>tz</abbr></code>
 	  database</a></li>
@@ -1186,7 +1186,7 @@ The <code><abbr>tz</abbr></code> code and data supply the following interfaces:
 <ul>
   <li>
     A set of timezone names as per
-      "<a href="#naming">Names of timezones</a>" above.
+      "<a href="#naming">Timezone identifiers</a>" above.
   </li>
   <li>
     Library functions described in "<a href="#functions">Time and date
-- 
2.20.1