From 6c7e91377d29a75d443a5fd7542454b7f306fd12 Mon Sep 17 00:00:00 2001 From: wl Date: Wed, 8 Dec 2004 14:42:58 +0000 Subject: *** empty log message *** --- Makefile.in | 1 + 1 file changed, 1 insertion(+) (limited to 'Makefile.in') diff --git a/Makefile.in b/Makefile.in index 0b8f2de9..8bdd9f3a 100644 --- a/Makefile.in +++ b/Makefile.in @@ -516,6 +516,7 @@ ALLTTYDEVDIRS=\ font/devlatin1 \ font/devutf8 \ font/devcp1047 +# `doc' must be processed before `contrib/pdfmark'. OTHERDIRS=\ man \ tmac \ -- cgit v1.2.1