Add a "make" call, so build-release will also work from a source

tree which hasn't been built recently.

diff --git a/build-release b/build-release
index 2f1ee26ac48cf400638abc8a40689ddea4f18d09..523862964c8b019596663ec27554effe6efce061 100755 (executable)
--- a/build-release
+++ b/build-release
@@ -46,6 +46,7 @@ touch configure.in
 make config.status
 ./config.status
 make update-doc
+make
 
 # build them