#!/bin/bash

###############################################################################
## install all files generated by make.sh

umask 0012

cp -f pubs.binc ..
cp -f pubs_bib.binc ..
cp -f pubs_impl.binc ..
cp -f pubs_sem.binc ..
cp -f pubs_models.binc ..
cp -f pubs_tools.binc ..
cp -f pubs_apps.binc ..