diff options
-rw-r--r-- | doc/ref_manual.rst | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/ref_manual.rst b/doc/ref_manual.rst index e6b6e9332..f9eef7eb7 100644 --- a/doc/ref_manual.rst +++ b/doc/ref_manual.rst @@ -1294,6 +1294,18 @@ 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) +ptx/onoff +^^^^^^^^^ + +FIXME + +ptx/opt-dis +^^^^^^^^^^^ + +$(call ptx/ifdef,$(1),n,y) + +FIXME + ptx/get-alternative ~~~~~~~~~~~~~~~~~~~ |