Fix "make top-doc" (and thus "make dist") on clean build tree

top-doc requires scripts/build/out/run-and-check for building
Texinfo documents in text format.

diff --git a/GNUmakefile.in b/GNUmakefile.in
index 8cce2c8f72171d4dbc3221777e58b6e36e49afb9..258aa890a5f628728c66c346f6c692f6151a432a 100644 (file)
--- a/GNUmakefile.in
+++ b/GNUmakefile.in
@@ -60,6 +60,7 @@ refresh-release-files:
        $(MAKE) $(RELEASE_OUT_FILES)
 
 python-modules:
+       $(MAKE) -C scripts/build
        $(MAKE) -C python
 
 top-doc: python-modules