tools/c10e-html: add a tool to ease diffing html files

[gtk-doc.git] / tests / empty.sh

#!/bin/sh

if ! grep -q ^GtkDocTestIf$ empty/docs/tester-sections.txt; then
    echo "Test for bug https://bugzilla.gnome.org/show_bug.cgi?id=705633 has failed."
    exit 1
fi

gtkdoctest.sh empty