Rename `config` to `config-file`

For the sake of clarity and readability
Fix dependencies of Info compilation

Really include all Texinfo sources as dependencies.