bibexport.sh -- extract BibTeX entries out of .bib file(s).
        (N. Markey - <markey at lsv dot ens-cachan dot fr>)

This is a shell script using BibTeX to extract .bib entries 
that are \cite'd in a document. It also permits to expand a
BibTeX file, i.e. to develop abbreviations (except standard
ones) and crossrefs.