diff options
author | Enrico Joerns <e.joerns@tu-bs.de> | 2015-06-02 21:19:14 +0200 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2015-12-03 22:37:00 +0100 |
commit | 168b831fa5e4be95e036d285235796a205d25d76 (patch) | |
tree | 7bad2cf3c6e8e2f5fd9ad7792441743c49a983f4 /doc/ref_manual.rst | |
parent | d220d4e2af6266bbe25008392f114aa593756228 (diff) | |
download | ptxdist-168b831fa5e4be95e036d285235796a205d25d76.tar.gz ptxdist-168b831fa5e4be95e036d285235796a205d25d76.tar.xz |
doc: fixes for user manual
Signed-off-by: Enrico Joerns <e.joerns@tu-bs.de>
Diffstat (limited to 'doc/ref_manual.rst')
-rw-r--r-- | doc/ref_manual.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/ref_manual.rst b/doc/ref_manual.rst index 90cd2ae20..3b6ac0d1e 100644 --- a/doc/ref_manual.rst +++ b/doc/ref_manual.rst @@ -708,6 +708,7 @@ Depending on the state of FOO_VARIABLE this line results into FOO_CONF_OPT += --with-something=/usr (if FOO_VARIABLE is set) FOO_CONF_OPT += --with-something=none (if FOO_VARIABLE is unset) +.. _rulefile: Rule file layout ---------------- |