#!/bin/bash

# $Id: ctan_dump_files 25 2008-05-20 08:42:19Z kyanh $

# everything was moved to ctan script #