diff options
| author | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2009-12-14 03:09:09 +0000 |
|---|---|---|
| committer | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2009-12-14 03:09:09 +0000 |
| commit | 055694d3cdb5e529d6626deddc02709cfe411f71 (patch) | |
| tree | eafdcc1d4155bea6a1ae420801ff59a4be2e5bf2 /DOCS | |
| parent | 1586e9212d0795948eec2d463046623ba8a30d94 (diff) | |
| download | mpv-055694d3cdb5e529d6626deddc02709cfe411f71.tar.bz2 mpv-055694d3cdb5e529d6626deddc02709cfe411f71.tar.xz | |
Improve declaration of phony targets.
This prevents configure from being rerun all the time.
git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@30030 b3059339-0415-0410-9bf9-f77b7e298cf2
Diffstat (limited to 'DOCS')
| -rw-r--r-- | DOCS/xml/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/DOCS/xml/Makefile b/DOCS/xml/Makefile index 108cad664b..e850eeb9e9 100644 --- a/DOCS/xml/Makefile +++ b/DOCS/xml/Makefile @@ -61,4 +61,5 @@ releaseclean: distclean: clean releaseclean -.PHONY: all help html-chunked* html-single* xmllint xmllint-* *clean* +.PHONY: all help html-chunked html-single xmllint +.PHONY: html-chunked-* html-single-* xmllint-* *clean* |