From ea14c8b6803f67dabd3c5e914c59133a44dfcda7 Mon Sep 17 00:00:00 2001
From: drepper <drepper>
Date: Wed, 3 Jan 2001 04:38:51 +0000
Subject: [PATCH] (TEXI2PDF): Change to texi2dvi --pdf.

---
 manual/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/manual/Makefile b/manual/Makefile
index 5fb8ec2d3d..287cad5c0e 100644
--- a/manual/Makefile
+++ b/manual/Makefile
@@ -1,4 +1,4 @@
-# Copyright (C) 1992-1999, 2000 Free Software Foundation, Inc.
+# Copyright (C) 1992-1999, 2000, 2001 Free Software Foundation, Inc.
 # This file is part of the GNU C Library.
 
 # The GNU C Library is free software; you can redistribute it and/or
@@ -38,7 +38,7 @@ TEXI2DVI = texi2dvi
 AWK = gawk
 endif
 
-TEXI2PDF = pdftexinfo
+TEXI2PDF = texi2dvi --pdf
 
 ifneq ($(strip $(MAKEINFO)),:)
 all: info
-- 
2.11.0