Diff of /manual/Makefile

Parent Directory | Revision Log | Revision Graph | Patch

--- manual/Makefile	2004/03/23 19:29:29	1.23
+++ manual/Makefile	2004/03/24 22:35:28	1.24
@@ -88,7 +88,7 @@
 	cd manual; ../tools/make_mail_subjects.sh
 	cd manual; ../tools/figsub.sh
 	cd manual; ../tools/fix_docref_target.sh
-	cd manual; ../tools/genredir.sh; mv mapping.txt ..
+	cd manual; ../tools/genredir.sh
 	tar -czf manual.tgz manual
 
 l2h: l2h.tgz