diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 59a8ec2d..e6f1e6d3 100644 --- a/Makefile.in +++ b/Makefile.in @@ -607,7 +607,8 @@ ALLTTYDEVDIRS=\ font/devlatin1 \ font/devutf8 \ font/devcp1047 -# `doc' must be processed before `contrib/pdfmark'. +# `doc' must be processed before `contrib/pdfmark', +# pdf stuff must be processed before `contrib/mom OTHERDIRS=\ man \ tmac \ @@ -621,11 +622,11 @@ OTHERDIRS=\ contrib/eqn2graph \ contrib/grap2graph \ contrib/groffer \ - contrib/mom \ contrib/hdtbl \ contrib/pdfmark \ src/devices/gropdf \ font/devpdf \ + contrib/mom \ contrib/gdiffmk # OTHERDIRS is handled specially in the `$(TARGETS)' rule to avoid |