@TEST-EXEC: cd $BUILD && make restdoc