The purpose of the file 'options.md' was rather vague.
Make it now explicit that it's to document options
useful for development.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx>
---
Documentation/{options.md => dev-options.md} | 7 +++----
1 file changed, 3 insertions(+), 4 deletions(-)
rename Documentation/{options.md => dev-options.md} (74%)
diff --git a/Documentation/options.md b/Documentation/dev-options.md
similarity index 74%
rename from Documentation/options.md
rename to Documentation/dev-options.md
index 14698a981..1d51bcaac 100644
--- a/Documentation/options.md
+++ b/Documentation/dev-options.md
@@ -1,8 +1,7 @@
# Options
-This file is a complement of man page for sparse but meant
-for options not to be used by sparse itself but by the other
-tools.
+This file is a complement of man page for sparse users but
+for development.
## Developer options:
@@ -17,7 +16,7 @@ tools.
* 'mem2reg'
* 'optim'
-### Internal Representation
+### Debugging
* '-fdump-ir[=\<pass\>[,\<pass\>...]]'
--
2.16.2
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
