1.1 --- a/config/config.mk Sun May 08 19:02:44 2011 +0200
1.2 +++ b/config/config.mk Sun May 08 22:57:57 2011 +0200
1.3 @@ -95,8 +95,10 @@
1.4 fi; \
1.5 sed -r -e '/^## depends on /!d; s/^## / /;' $${file} 2>/dev/null;\
1.6 sed -r -e '/^## select /!d; s/^## / /;' $${file} 2>/dev/null; \
1.7 - echo " help"; \
1.8 - sed -r -e '/^## help ?/!d; s/^## help ?/ /;' $${file} 2>/dev/null; \
1.9 + if grep -E '^## help' $${file} >/dev/null 2>&1; then \
1.10 + echo " help"; \
1.11 + sed -r -e '/^## help ?/!d; s/^## help ?/ /;' $${file} 2>/dev/null; \
1.12 + fi; \
1.13 echo ""; \
1.14 done; \
1.15 echo "endchoice"; \
1.16 @@ -159,8 +161,10 @@
1.17 echo " prompt \"$${entry}\""; \
1.18 sed -r -e '/^## depends on /!d; s/^## / /;' $${file} 2>/dev/null;\
1.19 sed -r -e '/^## select /!d; s/^## / /;' $${file} 2>/dev/null; \
1.20 - echo " help"; \
1.21 - sed -r -e '/^## help ?/!d; s/^## help ?/ /;' $${file} 2>/dev/null; \
1.22 + if grep -E '^## help' $${file} >/dev/null 2>&1; then \
1.23 + echo " help"; \
1.24 + sed -r -e '/^## help ?/!d; s/^## help ?/ /;' $${file} 2>/dev/null; \
1.25 + fi; \
1.26 echo ""; \
1.27 echo "if $(3)_$${_entry}"; \
1.28 echo "source \"$${file}\""; \