[nongnu] elpa/proof-general dead1cc989 23/25: Updated doc-magic (`make -C doc magic`)

[ELPA Syncer]

branch: elpa/proof-general
commit dead1cc989d938015eee15ba5d84cf73e9451c65
Author: Dominique Unruh <unruh@ut.ee>
Commit: Dominique Unruh <unruh@ut.ee>

    Updated doc-magic (`make -C doc magic`)
---
 doc/ProofGeneral.texi | 2 --
 1 file changed, 2 deletions(-)

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index a566a50092..f7748846f0 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -2706,8 +2706,6 @@ Show a buffer of all the shortcuts available.
 Insert each Unicode character into a buffer.@*
 Lets you see which characters are available for literal display
 in your Emacs font.
-
-(fn)
 @end deffn
 @node Selecting suitable fonts
 @section Selecting suitable fonts