From 7957e35c5a7415bb613a7caf54473d4c18eeac53 Mon Sep 17 00:00:00 2001
From: thib <thib>
Date: Thu, 3 Jan 2002 14:44:36 +0000
Subject: [PATCH] remove manpage.{links|refs} in make mandoc (generated by the
 converter, but unused)

---
 doc/Makefile.in | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/Makefile.in b/doc/Makefile.in
index 69e850a..cbe2dde 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -4,7 +4,7 @@
 
 # @configure_input@
 
-# $Id: Makefile.in,v 1.2 2002-01-03 14:37:13 thib Exp $
+# $Id: Makefile.in,v 1.3 2002-01-03 14:44:36 thib Exp $
 
 # The following should not be edited manually (use configure options)
 # If you must do it, BEWARE : some of the following is also defined
@@ -54,6 +54,7 @@ mandoc: HTML/index.html
           jw -f docbook -b man -o man _tmp_ 2> /dev/null; \
 	  rm -f _tmp_ ; \
           done)
+	rm -f man/manpage.links man/manpage.refs
 
 
 txtdoc: HTML/index.html
-- 
2.40.0