mirror of https://github.com/mpv-player/mpv
I don't think, that anybody likes seeng rm -f /* command :)
git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@10915 b3059339-0415-0410-9bf9-f77b7e298cf2
This commit is contained in:
parent
c8b5673a52
commit
bcfeba4339
|
@ -16,6 +16,7 @@ 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
|
||||
-rm -f $(HTMLDIR)/*
|
||||
../xmllint.sh $<
|
||||
cp $(HTML_STYLESHEET) $(HTMLDIR)/
|
||||
|
|
Loading…
Reference in New Issue