diff options
| author | Martin Kretzschmar <mkretzschmar@src.gnome.org> | 2003-05-19 17:49:35 (GMT) |
|---|---|---|
| committer | Martin Kretzschmar <mkretzschmar@src.gnome.org> | 2003-05-19 17:49:35 (GMT) |
| commit | cf1b6d43eb5c4e42245686a0b5005cf490cfad09 (patch) | |
| tree | c60211f016cc8238b371a8571b9e2851f1279993 | |
| parent | 1f43d57893b1f4178f2d52ee222a2f3dfe84afbb (diff) | |
don't distribute generated marshallers
| -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 + |