diff options
| author |  diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2009-12-13 21:43:31 +0000 |
|---|---|---|
| committer | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2009-12-13 21:43:31 +0000 |
| commit | 11dc4089e74d4373fde9687c079574914f405ff5 (patch) | |
| tree | 825c988b413904f4ba62a954f5c984047063efc9 /DOCS | |
| parent | 464d2e597f433110c8e0502528a2d48cc137d166 (diff) | |
xmllint.sh is not a phony target.
git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@30000 b3059339-0415-0410-9bf9-f77b7e298cf2
Diffstat (limited to 'DOCS')
| -rw-r--r-- | DOCS/xml/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/DOCS/xml/Makefile b/DOCS/xml/Makefile index 7a90938aef..2a13530f39 100644 --- a/DOCS/xml/Makefile +++ b/DOCS/xml/Makefile @@ -62,4 +62,4 @@ releaseclean: distclean: clean releaseclean -.PHONY: all help html-chunked* html-single* xmllint* *clean* +.PHONY: all help html-chunked* html-single* xmllint xmllint-* *clean* |