mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2025-09-05 11:37:49 +00:00
Fix make dist.
This commit is contained in:
parent
c7ab525a97
commit
a744a498b1
1 changed files with 6 additions and 0 deletions
|
@ -118,7 +118,13 @@ include $(top_srcdir)/gtk-doc.make
|
||||||
# e.g. EXTRA_DIST += version.xml.in
|
# e.g. EXTRA_DIST += version.xml.in
|
||||||
EXTRA_DIST += \
|
EXTRA_DIST += \
|
||||||
libs-docs.xml.in \
|
libs-docs.xml.in \
|
||||||
|
libs.core.types \
|
||||||
|
libs.x11.types \
|
||||||
|
libs.glx.types \
|
||||||
$(NULL)
|
$(NULL)
|
||||||
|
|
||||||
|
DISTCLEANFILES = $(srcdir)/$(DOC_MODULE).types
|
||||||
|
BUILT_SOURCES = $(srcdir)/$(DOC_MODULE).types
|
||||||
|
|
||||||
# Extra clean files so that maintainer-clean removes *everything*
|
# Extra clean files so that maintainer-clean removes *everything*
|
||||||
MAINTAINERCLEANFILES = Makefile.in lib-docs.xml
|
MAINTAINERCLEANFILES = Makefile.in lib-docs.xml
|
||||||
|
|
Loading…
Reference in a new issue