Fix "make doc"

diff --git a/misc/release b/misc/release
index 83465ce19285d9a1031f74628f7183b7facb752e..5624a196d7bf19149f8c597a948218fb9997de52 100755 (executable)
--- a/misc/release
+++ b/misc/release
@@ -104,6 +104,8 @@ cd ..
 find nasm-$version -not -type d -print > main
 
 # Create documentation
+cd nasm-${version}
+./configure --prefix=/usr/local
 make doc
 # Remove intermediate files.
 make cleaner