doc: rename footrc.5 to foot.ini.5, and update references

This commit is contained in:
Daniel Eklöf 2020-08-27 20:02:30 +02:00
parent f7c2940880
commit 5c4af880fc
No known key found for this signature in database
GPG key ID: 5BBD4992C116573F
4 changed files with 17 additions and 12 deletions

View file

@ -163,7 +163,7 @@ install_data(
install_data(
'foot.desktop', 'foot-server.desktop',
install_dir: join_paths(get_option('datadir'), 'applications'))
install_data('footrc', install_dir: join_paths(get_option('datadir'), 'foot'))
install_data('foot.ini', install_dir: join_paths(get_option('datadir'), 'foot'))
subdir('completions')
subdir('doc')