diff options
Diffstat (limited to 'Help/prop_dir/CLEAN_NO_CUSTOM.rst')
| -rw-r--r-- | Help/prop_dir/CLEAN_NO_CUSTOM.rst | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Help/prop_dir/CLEAN_NO_CUSTOM.rst b/Help/prop_dir/CLEAN_NO_CUSTOM.rst new file mode 100644 index 0000000000..9a4173e81e --- /dev/null +++ b/Help/prop_dir/CLEAN_NO_CUSTOM.rst @@ -0,0 +1,7 @@ +CLEAN_NO_CUSTOM +--------------- + +Should the output of custom commands be left. + +If this is true then the outputs of custom commands for this directory +will not be removed during the "make clean" stage. |