return 0

diff --git a/doc/extract_examples.sh b/doc/extract_examples.sh
index 64bb940b70738f59233aeb2f70bc490e07ff958a..d0bf1f59af797ccf768bd42024b934e00b1a9f0b 100755 (executable)
--- a/doc/extract_examples.sh
+++ b/doc/extract_examples.sh
@@ -77,4 +77,5 @@ do
     fi
 done
 
+echo "return 0;"
 echo "}"