#!/bin/bash

FILE=`./pagen-dump.tcl $1`;

pico $FILE

