diff options
Diffstat (limited to 'font/devdvi/devdvi.am')
-rw-r--r-- | font/devdvi/devdvi.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/font/devdvi/devdvi.am b/font/devdvi/devdvi.am index 4126f4ab5..d19bff10f 100644 --- a/font/devdvi/devdvi.am +++ b/font/devdvi/devdvi.am @@ -75,6 +75,9 @@ DEVDVIGENFILES = \ devdvigendir = $(fontdir)/devdvi/generate devdvigen_DATA = $(DEVDVIGENFILES) +EXTRA_DIST += $(DEVDVIFONTFILES) $(DEVDVIGENFILES) font/devdvi/DESC.in +MOSTLYCLEANFILES += font/devdvi/DESC + font/devdvi/DESC: $(devdvi_srcdir)/DESC.in @echo Making $@ @$(MKDIR_P) `dirname $@` |