From d63202c2f40123acf0a8f0242b53eeffd11c51e2 Mon Sep 17 00:00:00 2001
From: Mauro Bieg <mb21@users.noreply.github.com>
Date: Thu, 30 Aug 2018 21:16:30 +0200
Subject: [PATCH] MANUAL: remove docs on removed --katex-stylesheet

closes #4862
---
 MANUAL.txt | 11 +++--------
 1 file changed, 3 insertions(+), 8 deletions(-)

diff --git a/MANUAL.txt b/MANUAL.txt
index 0fb959fad..15b1288c2 100644
--- a/MANUAL.txt
+++ b/MANUAL.txt
@@ -1211,14 +1211,9 @@ of the following options.
 `--katex`[`=`*URL*]
 
 :   Use [KaTeX] to display embedded TeX math in HTML output.
-    The *URL* is the base URL for the KaTeX library. If a *URL* is
-    not provided, a link to the KaTeX CDN will be inserted.
-
-`--katex-stylesheet=`*URL*
-
-:   The *URL* should point to the `katex.css` stylesheet. If this option is
-    not specified, a link to the KaTeX CDN will be inserted. Note that this
-    option does not imply `--katex`.
+    The *URL* is the base URL for the KaTeX library. That directory
+    should contain a `katex.min.js` and a `katex.min.css` file.
+    If a *URL* is not provided, a link to the KaTeX CDN will be inserted.
 
 `--gladtex`