[PATCH 1/2] doc: options.md is for development

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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



[Index of Archives]     [Newbies FAQ]     [LKML]     [IETF Annouce]     [DCCP]     [Netdev]     [Networking]     [Security]     [Bugtraq]     [Yosemite]     [MIPS Linux]     [ARM Linux]     [Linux Security]     [Linux RAID]     [Linux SCSI]     [Trinity Fuzzer Tool]

  Powered by Linux