From 1fd17435be48a01e6ca633a4d3aad86b924b5dd6 Mon Sep 17 00:00:00 2001
From: William McBrine <wmcbrine@gmail.com>
Date: Sat, 5 Aug 2006 18:51:20 +0000
Subject: [PATCH] Make PDCurses.man dependent on manext. Suggestion of Tiziano
 Mueller.

---
 tools/Makefile.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/Makefile.in b/tools/Makefile.in
index 41a68541..2aefc2a6 100644
--- a/tools/Makefile.in
+++ b/tools/Makefile.in
@@ -28,9 +28,9 @@ PANEL_DIR=$(srcdir)/../panel
 
 all: manual
 
-manual: manext PDCurses.man
+manual: PDCurses.man
 
-PDCurses.man:
+PDCurses.man: manext
 	./manext $(DOC_DIR)/intro.man 			> PDCurses.man
 	./manext $(DOC_DIR)/overview.man 			>> PDCurses.man
 	echo .......=================================== >> PDCurses.man