From 588ea2b768ca7fe0df176b54346dea5fe4d63a10 Mon Sep 17 00:00:00 2001 From: rm Date: Fri, 14 Sep 2012 19:40:46 +0000 Subject: - disconnect japanese/postgresqlXX-man from the build - add MOVED entries I didn't do this for a long time, so just forgot about. Sorry. --- japanese/Makefile | 4 ---- 1 file changed, 4 deletions(-) (limited to 'japanese') diff --git a/japanese/Makefile b/japanese/Makefile index 9434555d3732..3447ab0c2504 100644 --- a/japanese/Makefile +++ b/japanese/Makefile @@ -256,10 +256,6 @@ SUBDIR += platex-jsclasses SUBDIR += platex-otf SUBDIR += platex209 - SUBDIR += postgresql73-man - SUBDIR += postgresql74-man - SUBDIR += postgresql80-man - SUBDIR += postgresql81-man SUBDIR += postgresql82-man SUBDIR += prime SUBDIR += prime-dict -- cgit