Remove the references to --allow-unknown from docs

parent 245e646c
......@@ -1219,10 +1219,3 @@
Force hdlmake to generate the makefile, even if the specified tool is missing.
.. warning:: this is an experimental feature!!
Allow the insertion of new options or variables inside the child Manifest. Is this is option is not specified, the only place in which new options or variables can be defined is the top Manifest.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment