diff options
| author | jao <jao@gnu.org> | 2022-07-24 16:21:57 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2022-07-24 16:21:57 +0100 |
| commit | 8b2ccf0352864d8fc30e02b77f4a5759c5308eea (patch) | |
| tree | 79826270b7c842770882fee492bab0bd6f545706 /doc | |
| parent | 141e071d0d523a521e0e790efbb57a95854aaaed (diff) | |
| download | xmobar-8b2ccf0352864d8fc30e02b77f4a5759c5308eea.tar.gz xmobar-8b2ccf0352864d8fc30e02b77f4a5759c5308eea.tar.bz2 | |
documentation nits
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/compiling.org | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/compiling.org b/doc/compiling.org index e262ba0..b4159df 100644 --- a/doc/compiling.org +++ b/doc/compiling.org @@ -38,6 +38,9 @@ them to =stack= directly: #+end_src ** Optional features + :PROPERTIES: + :CUSTOM_ID: optional-features + :END: You can configure xmobar to include some optional plugins and features, which are not compiled by default. To that end, you need |