# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1304888277 -7200
# Node ID 7000b634ba04623f85520357e761ecada9635f38
# Parent  896cb0d36c1ab6e0d144ac509413111e161fed96
config: add generated help entries only if present

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>

diff -r 896cb0d36c1a -r 7000b634ba04 config/config.mk
--- a/config/config.mk	Sun May 08 19:02:44 2011 +0200
+++ b/config/config.mk	Sun May 08 22:57:57 2011 +0200
@@ -95,8 +95,10 @@
 	    fi;                                                                 \
 	    sed -r -e '/^## depends on /!d; s/^## /    /;' $${file} 2>/dev/null;\
 	    sed -r -e '/^## select /!d; s/^## /    /;' $${file} 2>/dev/null;    \
-		echo "    help";                                                    \
-	    sed -r -e '/^## help ?/!d; s/^## help ?/      /;' $${file} 2>/dev/null; \
+	    if grep -E '^## help' $${file} >/dev/null 2>&1; then                        \
+	      echo "    help";                                                          \
+	      sed -r -e '/^## help ?/!d; s/^## help ?/      /;' $${file} 2>/dev/null;   \
+	    fi;                                                                         \
 	    echo "";                                                            \
 	  done;                                                                 \
 	  echo "endchoice";                                                     \
@@ -159,8 +161,10 @@
 	    echo "    prompt \"$${entry}\"";                                    \
 	    sed -r -e '/^## depends on /!d; s/^## /    /;' $${file} 2>/dev/null;\
 	    sed -r -e '/^## select /!d; s/^## /    /;' $${file} 2>/dev/null;    \
-		echo "    help";                                                    \
-	    sed -r -e '/^## help ?/!d; s/^## help ?/      /;' $${file} 2>/dev/null; \
+	    if grep -E '^## help' $${file} >/dev/null 2>&1; then                        \
+	      echo "    help";                                                          \
+	      sed -r -e '/^## help ?/!d; s/^## help ?/      /;' $${file} 2>/dev/null;   \
+	    fi;                                                                         \
 	    echo "";                                                            \
 	    echo "if $(3)_$${_entry}";                                          \
 	    echo "source \"$${file}\"";                                         \