diff options
| author | Alexandre Flament <alex@al-f.net> | 2021-01-12 10:52:42 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-12 10:52:42 +0100 |
| commit | 9c55d772e98f5e51da4a34389dc240cfb3b14852 (patch) | |
| tree | 50f857bf046ab179eee935d40b9e63da7372171e /docs/utils | |
| parent | 8d0312d014f09fad2133b6e6c6b597cc08e4daf0 (diff) | |
| parent | 424e6abc7e26c3e3be71678d00f88cf09d6c0a7e (diff) | |
Merge pull request #2408 from return42/rm-brand-make
[mod] move brand options from Makefile to settings.yml
Diffstat (limited to 'docs/utils')
| -rw-r--r-- | docs/utils/index.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/utils/index.rst b/docs/utils/index.rst index ada78cef3..28515318f 100644 --- a/docs/utils/index.rst +++ b/docs/utils/index.rst @@ -47,8 +47,8 @@ Scripts to maintain services often dispose of common commands and environments. Tooling box setup ================= -The main setup is done in the :origin:`.config.sh` (read also :ref:`makefile -setup`). +The main setup is done in the :origin:`.config.sh` (read also :ref:`settings +global`). .. literalinclude:: ../../.config.sh :language: bash |