#!/bin/bash
WEB_FILES="manual*html font*html 13rus_pat.txt 12rus_pat.txt\
 other_font_tools.txt font_langs.html history.txt term_notes.txt\
 index.html"
SOURCE_FILES="encode.c makefile pat2sf.h scan.c sf2pat.c\
 C_code_notes.html"
tar --create --gzip --verbose\
	--file=BitFontEdit.tar.gz $WEB_FILES $SOURCE_FILES
