diff options
Diffstat (limited to 'font/devhtml/devhtml.am')
| -rw-r--r-- | font/devhtml/devhtml.am | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/font/devhtml/devhtml.am b/font/devhtml/devhtml.am index 122423816..00f982ac0 100644 --- a/font/devhtml/devhtml.am +++ b/font/devhtml/devhtml.am @@ -35,6 +35,11 @@ DEVHTMLLPI = 6 devhtmlfontdir = $(fontdir)/devhtml devhtmlfont_DATA = $(DEVHTMLFONTSFILES) font/devhtml/DESC +MOSTLYCLEANFILES += $(DEVHTMLFONTSFILES) font/devhtml/DESC +EXTRA_DIST += \ + font/devhtml/R.proto \ + font/devhtml/DESC.proto \ + font/devhtml/R.in $(DEVHTMLFONTSFILES): $(devhtml_srcdir)/R.proto @echo Making $@ |