diff options
author | Lev Walkin <vlm@lionet.info> | 2005-03-24 03:30:13 +0000 |
---|---|---|
committer | Lev Walkin <vlm@lionet.info> | 2005-03-24 03:30:13 +0000 |
commit | 7039310b8b86a57bb84c6156e130805b96d1feaf (patch) | |
tree | 81000fe0ad1b82dd36e72d37010b4add0beed85b /doc/Makefile.in | |
parent | 80d7dce997f552bf69d35cde5f56da51319067bd (diff) |
SF#3063753
Diffstat (limited to 'doc/Makefile.in')
-rw-r--r-- | doc/Makefile.in | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index 7d105e25..666e28dc 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -160,8 +160,12 @@ target_cpu = @target_cpu@ target_os = @target_os@ target_vendor = @target_vendor@ docsdir = $(datadir)/doc/asn1c -docs_DATA = *.pdf *.html -EXTRA_DIST = *.pdf *.html +docs_DATA = $(srcdir)/*.pdf \ + $(srcdir)/*.html + +EXTRA_DIST = $(srcdir)/*.pdf \ + $(srcdir)/*.html + CLEANFILES = *.*~ all: all-am @@ -230,6 +234,7 @@ CTAGS: distdir: $(DISTFILES) + $(mkdir_p) $(distdir)/$(srcdir) @srcdirstrip=`echo "$(srcdir)" | sed 's|.|.|g'`; \ topsrcdirstrip=`echo "$(top_srcdir)" | sed 's|.|.|g'`; \ list='$(DISTFILES)'; for file in $$list; do \ |