diff options
| -rw-r--r-- | pdf/xpdf/Makefile.am | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/pdf/xpdf/Makefile.am b/pdf/xpdf/Makefile.am index f9d2330..a8c3a23 100644 --- a/pdf/xpdf/Makefile.am +++ b/pdf/xpdf/Makefile.am @@ -16,7 +16,7 @@ else gui = xpdf endif -BUILT_SOURCES = \ +marshal_sources = \ gpdf-marshal.c \ gpdf-marshal.h @@ -151,7 +151,7 @@ gnome_pdf_viewer_SOURCES = \ pdf-info-dict-util.h \ pdf-properties-display.c \ pdf-properties-display.h \ - $(BUILT_SOURCES) + $(marshal_sources) # Old files @@ -280,3 +280,11 @@ EXTRA_DIST = $(stock_DATA) \ config.h \ $(ui_DATA) \ $(glade_DATA) + +DONT_DIST_SOURCE = $(marshal_sources) + +dist-hook: + for file in $(DONT_DIST_SOURCE) ; do \ + rm -f $(distdir)/$$file ; \ + done + |