# HG changeset patch
# User ib
# Date 1391876392 0
# Node ID 47768e29af748d8cb37f8808734b51ef2a9151dc
# Parent  489c1945bbe29d3a806fd7c55ea451a22e3a02c7
Improve testing of the help message header files.

Utilize help_text.

diff -r 489c1945bbe2 -r 47768e29af74 help/help_check.sh
--- a/help/help_check.sh	Fri Feb 07 20:45:20 2014 +0000
+++ b/help/help_check.sh	Sat Feb 08 16:19:52 2014 +0000
@@ -38,6 +38,7 @@
 #include "config.h"
 #include "$h"
 void $CHECK () {
+strdup(help_text);
 EOF
 
   while read line; do