From 1bd0786fc2f58d99b2eb9df141a156f6fd25eb20 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marcos=20C=C3=A1ceres?= Date: Wed, 13 Oct 2021 18:52:07 +1100 Subject: [PATCH] fix(tocIntroductory): remove tocIntroductory warning (#3815) --- src/core/structure.js | 8 -------- 1 file changed, 8 deletions(-) diff --git a/src/core/structure.js b/src/core/structure.js index 5d111d3991..3fff5e5175 100644 --- a/src/core/structure.js +++ b/src/core/structure.js @@ -9,12 +9,10 @@ import { addId, - docLink, getIntlData, parents, renameElement, showError, - showWarning, } from "./utils.js"; import { html } from "./import-maps.js"; import { pub } from "./pubsubhub.js"; @@ -192,12 +190,6 @@ function filterHeader(h) { } export function run(conf) { - if ("tocIntroductory" in conf && conf.tocIntroductory === false) { - const msg = "Configuration option `tocIntroductory` is deprecated."; - const hint = docLink`Use the ${"[`notoc`|#notoc-class]"} CSS class to remove a section from the Table of Contents.`; - showWarning(msg, name, { hint }); - } - if ("maxTocLevel" in conf === false) { conf.maxTocLevel = Infinity; }