diff options
| author | Samuel Thibault <sthibault@debian.org> | 2016-08-24 20:27:25 +0000 |
|---|---|---|
| committer | Samuel Thibault <sthibault@debian.org> | 2016-08-24 20:27:25 +0000 |
| commit | 9053d287c76f5f7960bb358bb6fe98674eec5b71 (patch) | |
| tree | 79a983a891eaeebe832fd742b5f1fdb9c2880d71 /build/entities | |
| parent | bd0ed776353058abf90a473fc943ac18105bfa8c (diff) | |
| download | installation-guide-9053d287c76f5f7960bb358bb6fe98674eec5b71.zip | |
Document passing option in the x86 UEFI case.
Diffstat (limited to 'build/entities')
| -rw-r--r-- | build/entities/common.ent | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/build/entities/common.ent b/build/entities/common.ent index 042690bcb..6f9399c2a 100644 --- a/build/entities/common.ent +++ b/build/entities/common.ent @@ -28,6 +28,8 @@ <!-- general things from installer --> <!ENTITY ekey "<keycap>e</keycap>"> +<!ENTITY downkey "<keycap>down arrow</keycap>"> +<!ENTITY endkey "<keycap>end</keycap>"> <!ENTITY f10key "<keycap>F10</keycap>"> <!ENTITY enterkey "<keycap>Enter</keycap>"> <!ENTITY escapekey "<keycap>Esc</keycap>"> |