From dcf99f29e0c439c893fb4fd0df0931b482e35c6b Mon Sep 17 00:00:00 2001
From: Alex Toldaiev <oleksii.toldaiev@gmail.com>
Date: Mon, 16 Nov 2020 21:34:57 +0000
Subject: [PATCH] Added a sentence about `pagetitle` for HTML (#6843)

changed:      MANUAL.txt
---
 MANUAL.txt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/MANUAL.txt b/MANUAL.txt
index 28ffe2c53..560794e7d 100644
--- a/MANUAL.txt
+++ b/MANUAL.txt
@@ -2111,7 +2111,8 @@ Currently the following pipes are predefined:
     including a title block in the document itself, you can
     set the `title-meta`, `author-meta`, and `date-meta`
     variables.  (By default these are set automatically, based
-    on `title`, `author`, and `date`.)
+    on `title`, `author`, and `date`.) The page title in HTML
+    is set by `pagetitle`, which is equal to `title` by default.
 
 `subtitle`
 :   document subtitle, included in HTML, EPUB, LaTeX, ConTeXt, and docx