Makefile: fail on failure to validate xml

probably broken by e248666df0
This commit is contained in:
Astro 2014-03-28 22:01:46 +01:00
parent 3719af141f
commit 59a98db4e2
2 changed files with 16 additions and 17 deletions

View File

@ -90,7 +90,7 @@ ALL_XSLS = $(wildcard xsl/*.xsl)
define xml_process
@$(NOINPUTVALID) || echo $(VALIDATOR) $(VFLAGS_IN) $<
@$(NOINPUTVALID) || $(VALIDATOR) $(VFLAGS_IN) $< 2>&1 | grep -v " validates" || true
@$(NOINPUTVALID) || $(VALIDATOR) $(VFLAGS_IN) $<
$(PROCESSOR) $(PFLAGS) -o $@ $(STYLE) $<
@$(NOVALID) || echo $(VALIDATOR) $(VFLAGS_OUT) $@ || \
{ touch -m -t 197001010000 Makefile $@ ; exit 1 ; }

View File

@ -6,21 +6,6 @@
author="Blastmaster, eisenrah">
<image title="(((pentaradio))">../pentaradio.png</image>
<p>
Immer mehr Leute kommunizieren via Instant Messaging im Internet. Dank Smartphones und anderen mobilen Geräten sind auch unterwegs herkömmliche SMS zunehmend die Ausnahme.
Nun hat Facebook WhatsApp gekauft, wohl den aktuell verbreitesten Messaging Dienst.
Wir wollen allgemein über Instant Messaging reden und erörtern, wie sicher die Kommunikation ist.
Außerdem wollen wir über freie Alternativen wie Jabber (XMPP) sprechen.
</p>
<addendum>
<p>
Hören könnt Ihr uns wie immer, Live am 4. Dienstag im Monat (25.2.) von 21:30 - 23:00 Uhr auf
<link href="http://coloradio.org/">coloRadio</link> (<link href="http://hub.fueralle.org/coloradio160mp3.m3u">Stream</link>).
Wenn Ihr Fragen oder Anmerkungen habt, erreicht Ihr uns auch während der Sendung im <link href="muc.html">Chat</link>.
</p>
</addendum>
<resource title="pentaradio24 vom 25. Februar 2014"
size="92073836"
type="application/ogg"
@ -42,7 +27,21 @@
<chapter start="0:37:18" title="Thema: Instant Messaging"/>
</chapters>
</resource>
<addendum>
<p>
Immer mehr Leute kommunizieren via Instant Messaging im Internet. Dank Smartphones und anderen mobilen Geräten sind auch unterwegs herkömmliche SMS zunehmend die Ausnahme.
Nun hat Facebook WhatsApp gekauft, wohl den aktuell verbreitesten Messaging Dienst.
Wir wollen allgemein über Instant Messaging reden und erörtern, wie sicher die Kommunikation ist.
Außerdem wollen wir über freie Alternativen wie Jabber (XMPP) sprechen.
</p>
<addendum>
<p>
Hören könnt Ihr uns wie immer, Live am 4. Dienstag im Monat (25.2.) von 21:30 - 23:00 Uhr auf
<link href="http://coloradio.org/">coloRadio</link> (<link href="http://hub.fueralle.org/coloradio160mp3.m3u">Stream</link>).
Wenn Ihr Fragen oder Anmerkungen habt, erreicht Ihr uns auch während der Sendung im <link href="muc.html">Chat</link>.
</p>
<p title="Shownotes"><strong>News - Teil 1</strong></p>
<ul>
<li><link href="http://www.spiegel.de/netzwelt/netzpolitik/facebook-kauft-konkurrenten-whatsapp-fuer-milliardenbetrag-a-954546.html">Facebook kauft WhatsApp</link></li>