From 29a8c698256251d346a9f8d0566e1df9644dfa30 Mon Sep 17 00:00:00 2001 From: Kevin Zakka Date: Thu, 8 Dec 2022 04:32:03 -0800 Subject: [PATCH] Undo doc permalink change. PiperOrigin-RevId: 493858259 Change-Id: I7467fd4b405fa71cd47f0beab6b654e0c74b51da --- doc/conf.py | 2 -- 1 file changed, 2 deletions(-) diff --git a/doc/conf.py b/doc/conf.py index 57b78dad..c21c29b9 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -143,8 +143,6 @@ html_css_files = [ html_favicon = 'favicons/favicon-32x32.png' -html_permalinks_icon = "🔗" - # -- Options for katex ------------------------------------------------------ # See: https://sphinxcontrib-katex.readthedocs.io/en/0.4.1/macros.html