Index: documentation.html =================================================================== RCS file: /webcvs/emacs/emacs/documentation.html,v retrieving revision 1.7 diff -U 2 -r1.7 documentation.html --- documentation.html 12 Dec 2017 08:50:51 -0000 1.7 +++ documentation.html 23 Nov 2018 10:08:42 -0000 @@ -70,5 +70,5 @@