branch: elpa/proof-general
commit dead1cc989d938015eee15ba5d84cf73e9451c65
Author: Dominique Unruh <[email protected]>
Commit: Dominique Unruh <[email protected]>
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
