diff man/internals/Makefile @ 193:f53b5ca2e663 r20-3b23

Import from CVS: tag r20-3b23
author cvs
date Mon, 13 Aug 2007 09:58:30 +0200
parents 8eaf7971accc
children
line wrap: on
line diff
--- a/man/internals/Makefile	Mon Aug 13 09:57:40 2007 +0200
+++ b/man/internals/Makefile	Mon Aug 13 09:58:30 2007 +0200
@@ -21,6 +21,9 @@
 NAME=internals
 manual = xemacs-internals-manual-19-$(VERSION)
 
+TEXI2DVI = texi2dvi
+MAKEINFO = makeinfo
+
 # Uncomment this line for permuted index.
 # permuted_index = 1 
 
@@ -32,7 +35,9 @@
 info : ../../info/$(NAME).info
 
 ../../info/$(NAME).info: $(srcs) index.texi
+	@echo "Expect a coredump if you are not using makeinfo 1.68 (or later)"
 	$(MAKEINFO) $(NAME).texi
+	@rm -f core
 
 dvi : $(NAME).dvi