mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-11-27 04:01:08 +00:00
cleaning out the closet
Original commit message from CVS: cleaning out the closet
This commit is contained in:
parent
3e4c58bac8
commit
22c2ec2fbf
1 changed files with 2 additions and 2 deletions
|
@ -165,8 +165,8 @@ $(BUILDIMAGESDIR)/%.ps: %.png
|
|||
@cat $< | pngtopnm | pnmtops -noturn > $@ 2> /dev/null
|
||||
|
||||
# make sure xml validates properly
|
||||
#check-local:
|
||||
# xmllint -noout -valid $(srcdir)/$(MAIN)
|
||||
check-local: $(BUILDDIR)/$(MAIN)
|
||||
cd $(BUILDDIR) && xmllint -noout -valid $(MAIN)
|
||||
|
||||
### this is a website upload target
|
||||
|
||||
|
|
Loading…
Reference in a new issue