From 743b7d771fc4d011c0b431320bca9c607c4be1e4 Mon Sep 17 00:00:00 2001
From: Joris van der Hoeven <vdhoeven@lix.polytechnique.fr>
Date: Fri, 5 Jul 2019 14:27:25 +0000
Subject: [PATCH] Fix

---
 main/text/keyboard/man-standard.en.tm | 17 +++++++----------
 1 file changed, 7 insertions(+), 10 deletions(-)

diff --git a/main/text/keyboard/man-standard.en.tm b/main/text/keyboard/man-standard.en.tm
index c929e22..f574b23 100644
--- a/main/text/keyboard/man-standard.en.tm
+++ b/main/text/keyboard/man-standard.en.tm
@@ -1,6 +1,6 @@
-<TeXmacs|1.0.7.7>
+<TeXmacs|1.99.10>
 
-<style|tmdoc>
+<style|<tuple|tmdoc|english|old-spacing>>
 
 <\body>
   <tmdoc-title|Various useful keyboard shortcuts>
@@ -21,11 +21,11 @@
   "1em")>>|<cell|Insert a quad space.>>|<row|<cell|<shortcut|(make-space
   "0.2spc")>>|<cell|Insert a small space.>>|<row|<cell|<shortcut|(make-space
   "-0.2spc")>>|<cell|Insert a small negative
-  space.>>|<row|<cell|<shortcut|(make-htab "5mm")>>|<cell|Insert a
-  ``tab''>>|<row|<cell|<shortcut|(go-start)>>|<cell|Go to the start of the
+  space.>>|<row|<cell|<shortcut|(kbd-alternate-tab)>>|<cell|Insert a
+  \Ptab\Q>>|<row|<cell|<shortcut|(go-start)>>|<cell|Go to the start of the
   document.>>|<row|<cell|<shortcut|(go-end)>>|<cell|Go to the end of the
   document.>>|<row|<cell|<shortcut|(make 'line-break)>>|<cell|Insert a line
-  break.>>|<row|<cell|<shortcut|(make-rigid)>>|<cell|Insert a ``rigid'' piece
+  break.>>|<row|<cell|<shortcut|(make-rigid)>>|<cell|Insert a \Prigid\Q piece
   of text, which cannot be line-broken.>>>>>>
     <label|various-useful-shortcuts>Various useful keyboard shortcuts
   </big-table>
@@ -40,8 +40,5 @@
   Documentation License".>
 </body>
 
-<\initial>
-  <\collection>
-    <associate|language|english>
-  </collection>
-</initial>
\ No newline at end of file
+<initial|<\collection>
+</collection>>
\ No newline at end of file