diff -r d59bea55db9b -r c445c931472f examples/sql/mysql_setup.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/examples/sql/mysql_setup.sh	Mon Dec 06 13:09:21 2010 +0100
@@ -0,0 +1,6 @@
+#!/bin/sh
+# This file can be used to create database glpk in MySQL.
+echo MySQL is called for user root. 
+mysql -f -u root -p < sudoku.sql
+echo MySQL is called for user root.
+mysql -f -u root -p < transp.sql