From 59a98db4e278f1b17be0a6a44889baaacf3e7ad2 Mon Sep 17 00:00:00 2001 From: Astro Date: Fri, 28 Mar 2014 22:01:46 +0100 Subject: [PATCH] Makefile: fail on failure to validate xml probably broken by e248666df0454babe72a89e9986911f92fd85879 --- Makefile | 2 +- content/news/pentaradio24-20140225.xml | 31 +++++++++++++------------- 2 files changed, 16 insertions(+), 17 deletions(-) diff --git a/Makefile b/Makefile index 5932488ee..f68e4593f 100644 --- a/Makefile +++ b/Makefile @@ -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 ; } diff --git a/content/news/pentaradio24-20140225.xml b/content/news/pentaradio24-20140225.xml index 20ab51b30..5a80f546c 100644 --- a/content/news/pentaradio24-20140225.xml +++ b/content/news/pentaradio24-20140225.xml @@ -6,21 +6,6 @@ author="Blastmaster, eisenrah"> ../pentaradio.png -

- 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. -

- - -

- Hören könnt Ihr uns wie immer, Live am 4. Dienstag im Monat (25.2.) von 21:30 - 23:00 Uhr auf - coloRadio (Stream). - Wenn Ihr Fragen oder Anmerkungen habt, erreicht Ihr uns auch während der Sendung im Chat. -

-
- - + +

+ 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. +

+ + +

+ Hören könnt Ihr uns wie immer, Live am 4. Dienstag im Monat (25.2.) von 21:30 - 23:00 Uhr auf + coloRadio (Stream). + Wenn Ihr Fragen oder Anmerkungen habt, erreicht Ihr uns auch während der Sendung im Chat. +

+

News - Teil 1

  • Facebook kauft WhatsApp