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 /doc/manual/version.xml.in | |
| 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 'doc/manual/version.xml.in')
| -rw-r--r-- | doc/manual/version.xml.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/manual/version.xml.in b/doc/manual/version.xml.in deleted file mode 100644 index 27323da..0000000 --- a/doc/manual/version.xml.in +++ /dev/null @@ -1 +0,0 @@ -@VERSION@
\ No newline at end of file |