diff options
author | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2009-12-13 21:24:04 +0000 |
---|---|---|
committer | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2009-12-13 21:24:04 +0000 |
commit | 24b378c00ca658da69af0d8b7b9185833e53abf7 (patch) | |
tree | c4a019fdabefb64e8a867ddf8ac44f6ef92f9d48 | |
parent | a3c7601ce8fe772c901e42ce29e638a62522fa3f (diff) | |
download | mpv-24b378c00ca658da69af0d8b7b9185833e53abf7.tar.bz2 mpv-24b378c00ca658da69af0d8b7b9185833e53abf7.tar.xz |
Remove pointless warning about Make being called from the wrong place.
git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@29998 b3059339-0415-0410-9bf9-f77b7e298cf2
-rw-r--r-- | DOCS/xml/Makefile.inc | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/DOCS/xml/Makefile.inc b/DOCS/xml/Makefile.inc index 86a0e4a068..f69614871f 100644 --- a/DOCS/xml/Makefile.inc +++ b/DOCS/xml/Makefile.inc @@ -40,21 +40,10 @@ xmllint: main.xml $(SYMLINKS_DEPS) ../xmllint.sh $< $(HTMLDIR)/index.html: main.xml $(CHUNK_XSL_DEPS) $(SYMLINKS_DEPS) xmllint -ifndef HTMLDIR - $(warning $(HTMLDIR)) - $(warning Error: HTMLDIR not set!!!) - $(warning Typically this means, that you've run make from a subdir of DOCS/xml.) - $(error Don't do this!) -endif cp -f $(HTML_STYLESHEET) $(HTMLDIR)/ ../xsltproc.sh $(HTMLDIR)/ $(HTML_CHUNK_XSL) $< $(HTMLFILE): main.xml $(XSL_DEPS) $(SYMLINKS_DEPS) xmllint -ifndef HTMLFILE - $(warning Error: HTMLFILE not set!!!) - $(warning Typically this means, that you've run make from a subdir of DOCS/xml.) - $(error Don't do this!) -endif cp -f $(HTML_STYLESHEET) $(@D) ../xsltproc.sh $@ $(HTML_SINGLE_XSL) $< |