Message ID | 1517403609-12603-7-git-send-email-odpbot@yandex.ru |
---|---|
State | New |
Headers | show |
Series | [v1,1/6] configure: set ODP_ABI_COMPAT before descending into platform | expand |
diff --git a/doc/platform-api-guide/Makefile.am b/doc/platform-api-guide/Makefile.am index 27cd902ee..d1b1b0dce 100644 --- a/doc/platform-api-guide/Makefile.am +++ b/doc/platform-api-guide/Makefile.am @@ -3,8 +3,7 @@ #distribution. EXTRA_DIST = \ - Doxyfile \ - $(top_srcdir)/platform/${with_platform}/doc/*.dox + Doxyfile clean-local: diff --git a/platform/Makefile.inc b/platform/Makefile.inc index 4714de0ee..410204bfd 100644 --- a/platform/Makefile.inc +++ b/platform/Makefile.inc @@ -12,3 +12,5 @@ AM_CFLAGS = "-DGIT_HASH=$(VERSION)" AM_CFLAGS += $(VISIBILITY_CFLAGS) AM_CFLAGS += @PTHREAD_CFLAGS@ + +EXTRA_DIST = doc/platform_specific.dox