#!/bin/sh
set -C -e -f -u

gnatmake -q docs/dom/domexample.adb \
         -D "$ADTTMP" -o "$ADTTMP/domexample" \
         `xmlada-config`

# domexample needs pref.xml in the current directory.
cd docs/dom
"$ADTTMP/domexample"
