#!/bin/sh
#The patch can be applied as follows:
#(1) Extract the patch and the maria source code, e.g.,
  wget http://www.tcs.hut.fi/Software/maria/src/maria-modularcheck.patch.gz
  wget http://www.tcs.hut.fi/Software/maria/src/maria-1.3.4.tar.gz
  gzip -dc maria-1.3.4.tar.gz | tar xf -
#(2) Change the current working directory to the root directory of
#    the maria source tree:
  cd maria-1.3.4
#(3) Apply the patch:
  gzip -dc ../maria-modularcheck.patch.gz | patch -p1
#(4) Read the new file README.modularcheck
  ${PAGER-cat} README.modularcheck
#(5) For compilation and installation advice, refer to the file INSTALL.
  ${PAGER-cat} INSTALL