diff --git a/GNUmakefile b/GNUmakefile index 6a2a2a9314538484c10c86e0a4c097d52b7c00b2..354da5e3c51a3830ebfbbcbcfe54615468016917 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