From bd0a476465bbd0ece5f18a4eee27ebf5f43b31ef Mon Sep 17 00:00:00 2001
From: "Robert P. Goldman" <rpgoldman@real-time.com>
Date: Mon, 22 Mar 2010 12:56:55 -0500
Subject: [PATCH] makeinfo works better with -o to specify output file, instead
 of stdout.

---
 GNUmakefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/GNUmakefile b/GNUmakefile
index 6a2a2a93..354da5e3 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -67,7 +67,7 @@ manual-html: asdf.texinfo
 	makeinfo --html asdf.texinfo
 
 asdf.html: asdf.texinfo
-	makeinfo --html --no-split --no-headers asdf.texinfo > asdf.html
+	makeinfo --html --no-split --no-headers -o asdf.html asdf.texinfo
 
 asdf.info: asdf.texinfo
 	makeinfo asdf.texinfo
-- 
GitLab