summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorCarl Hetherington <cth@carlh.net>2021-08-17 22:49:10 +0200
committerCarl Hetherington <cth@carlh.net>2021-08-17 22:49:10 +0200
commit3f047eef5b84c4212da865b5cdadb70076f07805 (patch)
tree30731e46b7e57416f22d6aece914c413ae826943 /.gitignore
parent924f4edb20d14bc697956254951fb87513cf2e19 (diff)
Add comments for shortcuts and extract them for the manual (#2073).
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore3
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index bf65ce2f7..cf539fc08 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,6 +14,7 @@ doc/manual/html
doc/manual/pdf
doc/manual/extensions.ent
doc/manual/config.xml
+doc/manual/shortcuts.xml
doc/design/*.pdf
doc/design/*.log
doc/design/*.aux
@@ -43,4 +44,4 @@ src/wx/subscribers.cc
compile_commands.json
vim-lsp.log
-lock \ No newline at end of file
+lock