From e0e4c97abf32c1a69cd8f0ea94e73609aa2a07c2 Mon Sep 17 00:00:00 2001
From: Tomek Kurcz <tomsandbox@gmail.com>
Date: Tue, 22 Aug 2017 09:12:35 +0200
Subject: [PATCH] Add `characters.txi' include in `index.txi'

---
 src/doc/new-doc/standards/index.txi | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/doc/new-doc/standards/index.txi b/src/doc/new-doc/standards/index.txi
index 3ae3b830c..2a98a6327 100644
--- a/src/doc/new-doc/standards/index.txi
+++ b/src/doc/new-doc/standards/index.txi
@@ -14,7 +14,7 @@
 @c * Symbols::
 @c * Packages::
 * Numbers::
-@c * Characters::
+* Characters::
 @c * Conses::
 @c * Arrays::
 @c * Strings::
@@ -74,8 +74,7 @@
 @c ext:random-state-array
 @c #$ macro
 
-@c @node Characters
-@c @section Characters
+@include standards/characters.txi
 
 @c @node Conses
 @c @section Conses