mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-11-26 11:41:09 +00:00
don't install html docs if they haven't been built
Original commit message from CVS: don't install html docs if they haven't been built
This commit is contained in:
parent
34888f9abe
commit
6fa7bf0307
2 changed files with 10 additions and 2 deletions
|
@ -196,6 +196,7 @@ distclean-local: clean
|
|||
rm -f *.stamp || true
|
||||
|
||||
# thomas: make docs parallel installable; devhelp requires majorminor too
|
||||
if DOC_HTML
|
||||
install-data-local:
|
||||
$(mkinstalldirs) $(DESTDIR)$(TARGET_DIR)
|
||||
(installfiles=`echo $(srcdir)/html/*.html $(srcdir)/html/*.png`; \
|
||||
|
@ -212,6 +213,9 @@ install-data-local:
|
|||
echo '-- Installing $(srcdir)/html/index.sgml' ; \
|
||||
$(INSTALL_DATA) $(srcdir)/html/index.sgml $(DESTDIR)$(TARGET_DIR); \
|
||||
fi)
|
||||
else
|
||||
install-data-local:
|
||||
endif
|
||||
|
||||
#
|
||||
# Require gtk-doc when making dist
|
||||
|
|
|
@ -193,6 +193,7 @@ distclean-local: clean
|
|||
rm -f $(DOC_MODULE).hierarchy
|
||||
rm -f *.stamp || true
|
||||
|
||||
if DOC_HTML
|
||||
install-data-local:
|
||||
$(mkinstalldirs) $(DESTDIR)$(TARGET_DIR)
|
||||
(installfiles=`echo $(srcdir)/html/*.html $(srcdir)/html/*.png`; \
|
||||
|
@ -209,6 +210,9 @@ install-data-local:
|
|||
echo '-- Installing $(srcdir)/html/index.sgml' ; \
|
||||
$(INSTALL_DATA) $(srcdir)/html/index.sgml $(DESTDIR)$(TARGET_DIR); \
|
||||
fi)
|
||||
else
|
||||
install-data-local:
|
||||
endif
|
||||
|
||||
#
|
||||
# Require gtk-doc when making dist
|
||||
|
|
Loading…
Reference in a new issue