1 #!/bin/bash
1 #!/usr/bin/env bash
2 #
3 # $Id$
4 #
5 # makedist -- make Isabelle source distribution.
6