#!/bin/bash

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

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