From 95be8d3b12045b2408656dd852787b0c1053b5ef Mon Sep 17 00:00:00 2001 From: Arnout Engelen Date: Mon, 25 Nov 2019 18:00:05 +0100 Subject: Document builtins.placeholder (cherry picked from commit 4e70652ee33641a6cfddbfb9b7d741515f1bf98a) --- doc/manual/expressions/builtins.xml | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'doc') diff --git a/doc/manual/expressions/builtins.xml b/doc/manual/expressions/builtins.xml index f39b393bf719..394e1fc32c95 100644 --- a/doc/manual/expressions/builtins.xml +++ b/doc/manual/expressions/builtins.xml @@ -1120,6 +1120,16 @@ Evaluates to [ "foo" ]. + + builtins.placeholder + output + + Return a placeholder string for the specified + output that will be substituted by the + corresponding output path at build time. Typical outputs would be + "out", "bin" or + "dev". + builtins.readDir -- cgit 1.4.1