From f963c544ef7d38fe39012ead459fd82e9c26b147 Mon Sep 17 00:00:00 2001
From: Martin Goik <goik@hdm-stuttgart.de>
Date: Mon, 25 Jul 2016 09:35:52 +0200
Subject: [PATCH] Getting rid of inexistent .webm file error message

---
 Doc/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Doc/Makefile b/Doc/Makefile
index 3ff65a41b..8b578513e 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -33,7 +33,7 @@ SAXONCMD=java -cp "/usr/share/java/Saxon-HE.jar:/usr/share/java/xercesImpl.jar"
 	avconv -i $< -acodec libx264  -c:a libvorbis -r 10 $<.mp4 || rm -f $<.mp4
 	avconv -i $< -vframes 1 $<.png || rm -f $<.png
 
-webmSet = $(shell /bin/ls target/*/Ref/Video/*.webm)
+webmSet = $(shell /bin/ls target/*/Ref/Video/*.webm 2>/dev/null)
 mp4Set  = $(foreach webmFile, $(webmSet), $(webmFile).mp4 )
 
 videoformats:$(mp4Set)
-- 
GitLab