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 /gtk-doc.make | |
| 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 'gtk-doc.make')
0 files changed, 0 insertions, 0 deletions