From 53da8b7d3773da804e79fd455d168efd9475d2f9 Mon Sep 17 00:00:00 2001
From: John Mandereau <john.mandereau@gmail.com>
Date: Wed, 1 Aug 2012 18:41:00 +0200
Subject: [PATCH] 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.
---
 GNUmakefile.in | 1 +
 1 file changed, 1 insertion(+)

diff --git a/GNUmakefile.in b/GNUmakefile.in
index 8cce2c8f72..258aa890a5 100644
--- 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
-- 
2.39.5