#!/bin/sh # $Id: gen_README_dist,v 1.4 2020/01/04 09:16:08 gilles Exp gilles $ VERSION=`cat VERSION` #echo $VERSION cat <