From ae44eb29691e1209cb4ba8d3cfbe806a75cd8b7f Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Sun, 3 Jun 2018 10:03:35 -0600
Subject: [PATCH] tools/kconfig2html.c and wireless/bluetooth/Kconfig:  Fixes
 needed to generate new configuration variable document.

---
 tools/kconfig2html.c       | 12 +++++++-----
 wireless/bluetooth/Kconfig | 12 ++++--------
 2 files changed, 11 insertions(+), 13 deletions(-)

diff --git a/tools/kconfig2html.c b/tools/kconfig2html.c
index 37b4330da4..05e675a392 100644
--- a/tools/kconfig2html.c
+++ b/tools/kconfig2html.c
@@ -2223,7 +2223,7 @@ static inline char *process_menu(FILE *stream, const char *kconfigdir)
  *
  ****************************************************************************/
 
-static void process_kconfigfile(const char *kconfigdir); /* Forward reference */
+static void process_kconfigfile(const char *kconfigdir, const char *kconfigname); /* Forward reference */
 static char *parse_kconfigfile(FILE *stream, const char *kconfigdir)
 {
   enum token_type_e tokid;
@@ -2253,6 +2253,7 @@ static char *parse_kconfigfile(FILE *stream, const char *kconfigdir)
                   source = dequote(source);
                   if (source)
                     {
+                      char *configname = basename(source);
                       char *subdir = dirname(source);
                       char *dirpath;
 
@@ -2289,7 +2290,7 @@ static char *parse_kconfigfile(FILE *stream, const char *kconfigdir)
 
                       /* Then recurse */
 
-                      process_kconfigfile(dirpath);
+                      process_kconfigfile(dirpath, configname);
                       token = NULL;
                       free(dirpath);
                     }
@@ -2398,14 +2399,15 @@ static char *parse_kconfigfile(FILE *stream, const char *kconfigdir)
  *
  ****************************************************************************/
 
-static void process_kconfigfile(const char *kconfigdir)
+static void process_kconfigfile(const char *kconfigdir,
+                                const char *kconfigname)
 {
   FILE *stream;
   char *kconfigpath;
 
   /* Create the full path to the Kconfig file */
 
-  asprintf(&kconfigpath, "%s/Kconfig", kconfigdir);
+  asprintf(&kconfigpath, "%s/%s", kconfigdir, kconfigname);
   debug("process_kconfigfile: Entry\n");
   debug("  kconfigdir:  %s\n", kconfigdir);
   debug("  kconfigpath: %s\n", kconfigpath);
@@ -2654,7 +2656,7 @@ int main(int argc, char **argv, char **envp)
 
   /* Process the Kconfig files through recursive descent */
 
-  process_kconfigfile(g_kconfigroot);
+  process_kconfigfile(g_kconfigroot, "Kconfig");
 
   /* Terminate the table of contents */
 
diff --git a/wireless/bluetooth/Kconfig b/wireless/bluetooth/Kconfig
index 7b0b0ba136..be2849c716 100644
--- a/wireless/bluetooth/Kconfig
+++ b/wireless/bluetooth/Kconfig
@@ -40,8 +40,7 @@
 #############################################################################
 
 menuconfig WIRELESS_BLUETOOTH
-	bool
-	prompt "Bluetooth LE support"
+	bool "Bluetooth LE support"
 	default n
 	select MM_IOB
 	select SCHED_HPWORK
@@ -57,8 +56,7 @@ menuconfig WIRELESS_BLUETOOTH
 if WIRELESS_BLUETOOTH
 
 config BLUETOOTH_MAX_CONN
-	int
-	prompt "Maximum number of simultaneous connections"
+	int "Maximum number of simultaneous connections"
 	default 1
 	range 1 16
 	---help---
@@ -66,8 +64,7 @@ config BLUETOOTH_MAX_CONN
 		supported. The minimum (and default) number is 1.
 
 config BLUETOOTH_MAX_PAIRED
-	int
-	prompt "Maximum number of paired devices"
+	int "Maximum number of paired devices"
 	default 1
 	range 1 32
 	---help---
@@ -172,8 +169,7 @@ config BLUETOOTH_TXCONN_NMSGS
 endmenu # Kernel Thread Configuration
 
 config BLUETOOTH_SMP_SELFTEST
-	bool
-	prompt "Bluetooth SMP self tests executed on init"
+	bool "Bluetooth SMP self tests executed on init"
 	default n
 	---help---
 		This option enables SMP self-tests executed on startup