From mboxrd@z Thu Jan  1 00:00:00 1970
From: john at keeping.me.uk (John Keeping)
Date: Sat, 25 Aug 2018 18:47:07 +0100
Subject: [PATCH 1/1] filters: generate anchor links from markdown
In-Reply-To: <CAHmME9rdjArjZ7qrvbBip2-AuZ9GOktyY5EQOp_Cza_g+cJAtA@mail.gmail.com>
References: <CAKcFC3Y_vZ-mJAN2gGwPgjC6YYzhLbthCWK9D4=+1aqgjifAgA@mail.gmail.com>
 <20180713194827.12799-1-list@eworm.de>
 <20180825094506.GA824@john.keeping.me.uk>
 <20180825140237.221dd41a@leda>
 <CAHmME9rdjArjZ7qrvbBip2-AuZ9GOktyY5EQOp_Cza_g+cJAtA@mail.gmail.com>
Message-ID: <20180825174707.GD824@john.keeping.me.uk>

On Sat, Aug 25, 2018 at 11:11:39AM -0600, Jason A. Donenfeld wrote:
> The effect is just anchor links, but it doesn't add an actual ToC, right?

>From the docs [0], it looks like it will add an actual ToC if you have a
placeholder in the document to request one.  But if you don't have that,
then it just generates anchors.

[0] https://python-markdown.github.io/extensions/toc/