(TEXI2PDF): Change to texi2dvi --pdf.
authordrepper <drepper>
Wed, 3 Jan 2001 04:38:51 +0000 (04:38 +0000)
committerdrepper <drepper>
Wed, 3 Jan 2001 04:38:51 +0000 (04:38 +0000)
manual/Makefile

index 5fb8ec2..287cad5 100644 (file)
@@ -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