From 7a33082eaf506c12cec03be85e6d4a9cf02849a7 Mon Sep 17 00:00:00 2001
From: Mikael Falkvidd <github@mjo.se>
Date: Mon, 12 Mar 2018 11:47:39 +0100
Subject: [PATCH] Simplify doxygen for ./configure (#1080)

No need to grep when we have a command that outputs
exactly what we want.
---
 Documentation/doxygen.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Documentation/doxygen.sh b/Documentation/doxygen.sh
index 36bf079..8fcf4de 100755
--- a/Documentation/doxygen.sh
+++ b/Documentation/doxygen.sh
@@ -3,8 +3,8 @@
 
 # Generate doxygen file for Raspberry Pi configure command
 echo -e "/**\n * @defgroup RaspberryPiGateway Raspberry Pi Gateway\n * @ingroup MyConfigGrp\n * @brief Configuration options for the Raspberry Pi Gateway\n@{\n@verbatim" > configure.h
-				grep -A999 '<<EOF' configure | grep -B999 EOF | grep -v 'EOF' >> configure.h
-				echo -e "@endverbatim\n@}*/\n" >> configure.h
+./configure --help >> configure.h
+echo -e "@endverbatim\n@}*/\n" >> configure.h
 
 # Generate version information
 export PROJECTNUMBER=$(git fetch --tags; git describe --tags;)