diff options
| author | Stef Walter <stef@thewalter.net> | 2013-07-17 11:58:05 +0200 |
|---|---|---|
| committer | Stef Walter <stef@thewalter.net> | 2013-07-18 13:04:35 +0200 |
| commit | 52a84b84a924a9f1cd8090b0a47b9f7d00ca69f3 (patch) | |
| tree | 32428cc8b83eaa360b8b53e92f769cac1cf8a17e /.gitignore | |
| parent | 936e4c229a4ed205e9981fc4f31acea063701b69 (diff) | |
Support expanding $XDG_CONFIG_HOME in user config paths
If ~/.config is specified as a prefix to a configured path,
then it is expanded to the $XDG_CONFIG_HOME if that exists
Add --with-user-config ./configure option to configure a
different user config directory.
Interpolate the right directories into documentation.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -80,6 +80,8 @@ x86_64-w64-mingw32 /doc/manual/p11-kit.signals /doc/manual/p11-kit.types /doc/manual/tmpl/ +/doc/manual/sysdir.xml +/doc/manual/userdir.xml /doc/manual/version.xml /doc/manual/xml/ /doc/manual/*.5 |