From 5794dcd89c6a642f9e3c9cf02ced03569bf59482 Mon Sep 17 00:00:00 2001 From: Tomek Kurcz Date: Mon, 21 Aug 2017 15:58:23 +0200 Subject: [PATCH] Include numbers.txi in index.txi --- src/doc/new-doc/standards/index.txi | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/doc/new-doc/standards/index.txi b/src/doc/new-doc/standards/index.txi index d40d0c739..3ae3b830c 100644 --- a/src/doc/new-doc/standards/index.txi +++ b/src/doc/new-doc/standards/index.txi @@ -13,7 +13,7 @@ @c * Conditions:: @c * Symbols:: @c * Packages:: -@c * Numbers:: +* Numbers:: @c * Characters:: @c * Conses:: @c * Arrays:: @@ -58,6 +58,7 @@ @c @node Packages @c @section Packages +@include standards/numbers.txi @c @node Numbers @c @section Numbers @c build option --with-ieee-fp={yes|no}