From f2236d087eb8df9f15c016c02c92aa2bed7c2889 Mon Sep 17 00:00:00 2001
From: Peter Eisentraut <peter@eisentraut.org>
Date: Thu, 18 Jun 2020 03:22:26 +0200
Subject: [PATCH] doc: Fix formatting typo

---
 doc/src/sgml/release-13.sgml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/src/sgml/release-13.sgml b/doc/src/sgml/release-13.sgml
index 44ab6766c4..401c557373 100644
--- a/doc/src/sgml/release-13.sgml
+++ b/doc/src/sgml/release-13.sgml
@@ -2663,7 +2663,7 @@ Author: Peter Eisentraut <peter@eisentraut.org>
 
       <para>
        Remove <link linkend="install-short">support</link> option
-       <option>--disable-float</option>8-byval (Peter Eisentraut)
+       <option>--disable-float8-byval</option> (Peter Eisentraut)
       </para>
 
       <para>