#!/bin/bash

./check titlepage

exit $?