#!/bin/bash
set -e

cd Kurse/Wireshark
mdoc-extract units/netzwerkdienste.xml wireshark
mdoc-extract units/aufgaben.xml wireshark
sed -i "s/\\\_BUILD/$build/" wireshark.tex
make wireshark.pdf