mirror of https://github.com/mpv-player/mpv
31 lines
1.1 KiB
Makefile
31 lines
1.1 KiB
Makefile
#
|
|
# Makefile.inc for Makefiles in subdirectories.
|
|
#
|
|
|
|
# Use customized html.xsl file if it exists...
|
|
ifeq (html.xsl,$(wildcard html.xsl))
|
|
HTML_XSL := html.xsl
|
|
XSL_DEPS := $(HTML_XSL) ../html.xsl ../html-common.xsl
|
|
else
|
|
HTML_XSL := ../html.xsl
|
|
XSL_DEPS := $(HTML_XSL) ../html-common.xsl
|
|
endif
|
|
|
|
# Fall back to the default HTML stylesheet if none is specified.
|
|
HTML_STYLESHEET ?= ../default.css
|
|
|
|
# This is the main target...
|
|
$(HTMLDIR)/index.html: documentation.xml $(XSL_DEPS)
|
|
@if test "$(HTMLDIR)" = "" ; then echo "Error: HTMLDIR not set!!!"; echo "Typically this means, that you've run make from subdir of DOCS/xml. Don't do this!" ; false; fi
|
|
if test "$(USE_SYMLINKS)" = "yes" ; then for file in ../en/*.xml ; do if ! test -r `basename $$file` ; then ln -s $$file `basename $$file` ; fi ; done ; fi
|
|
-rm -f $(HTMLDIR)/*
|
|
../xmllint.sh $<
|
|
cp $(HTML_STYLESHEET) $(HTMLDIR)/
|
|
../xsltproc.sh $(HTMLDIR)/ $(HTML_XSL) $<
|
|
|
|
../html.xsl:
|
|
cd .. && sh configure
|
|
|
|
distclean:
|
|
if test "$(USE_SYMLINKS)" = "yes" ; then for file in *.xml ; do if test -L $$file && test "`readlink $$file`" = "../en/$$file" ; then rm $$file ; fi ; done ; fi
|