/*
 * libpatch main module
 */

#include <stdio.h>
#include <stdlib.h>
#include "globals.h"

main(argc, argv)
	char **argv;
{
	if (argc != 4) {
		fprintf(stderr, "usage: %s in.out patch-desc out.lib\n",
			argv[0]);
		exit(1);
	}
	lib_in_filename = argv[1];
	patch_desc_filename = argv[2];
	lib_out_filename = argv[3];
	read_spec_file();
	/* code to be filled here */
	exit(0);
}