summaryrefslogtreecommitdiff
path: root/docs/dev/engine_overview.rst
diff options
context:
space:
mode:
authorMarkus Heiser <markus.heiser@darmarIT.de>2019-12-28 13:55:20 +0100
committerGitHub <noreply@github.com>2019-12-28 13:55:20 +0100
commitf6d66c0f6f1d8f1f583d9000ee0123450cce8130 (patch)
tree74c5ca5d49c9b62508d9a68addfe45a409e9f39e /docs/dev/engine_overview.rst
parenta52a638ba88466c587fd8afa744434711b1e4822 (diff)
parentb91e07bbf156241f6236b7e26d389e10e37553a3 (diff)
Merge pull request #1776 from return42/makefile-doc
doc: describe Makefile targets & add reST primer
Diffstat (limited to 'docs/dev/engine_overview.rst')
-rw-r--r--docs/dev/engine_overview.rst2
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/dev/engine_overview.rst b/docs/dev/engine_overview.rst
index 92405dc64..449c837a9 100644
--- a/docs/dev/engine_overview.rst
+++ b/docs/dev/engine_overview.rst
@@ -29,6 +29,7 @@ the ones in the engine file.
It does not matter if an option is stored in the engine file or in the
settings. However, the standard way is the following:
+.. _engine file:
engine file
-----------
@@ -43,6 +44,7 @@ time_range_support boolean support search time range
offline boolean engine runs offline
======================= =========== ===========================================
+.. _engine settings:
settings.yml
------------