Undo doc permalink change.

PiperOrigin-RevId: 493858259 Change-Id: I7467fd4b405fa71cd47f0beab6b654e0c74b51da
2022-12-08 04:32:03 -08:00
parent b712e0757e
commit 29a8c69825
1 changed files with 0 additions and 2 deletions
@@ -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