diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 09eb5738..6d229b19 100644 --- a/Makefile.in +++ b/Makefile.in @@ -589,7 +589,6 @@ PROGDIRS=\ $(XPROGDIRS) DEVDIRS=\ font/devps \ - font/devpdf \ font/devdvi \ font/devhtml ALLTTYDEVDIRS=\ @@ -615,6 +614,7 @@ OTHERDIRS=\ contrib/hdtbl \ contrib/pdfmark \ src/devices/gropdf \ + font/devpdf \ contrib/gdiffmk ALLDIRS=\ @@ -630,7 +630,6 @@ EXTRADIRS=\ font/devps/generate \ font/devdvi/generate \ font/devlj4/generate \ - font/devpdf/util \ doc NOMAKEDIRS=\ m4 \ |