bibexport.sh -- extract BibTeX entries out of .bib file(s).
        	          (N. Markey -- <markey(at)lsv.ens-cachan.fr>)
             		                    version 3.01 -- 2011/11/28

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.


----------------------------------------------------------------------

(c) 2011/11/28 Nicolas Markey <markey at lsv dot ens-cachan dot fr>

This work may  be distributed and/or modified under  the conditions of
the LaTeX Project  Public License, either version 1.3  of this license
or (at  your option)  any later version.   The latest version  of this
license is in
  http://www.latex-project.org/lppl.txt
and version 1.3 or later is part of all distributions of LaTeX version
2005/12/01 or later.

This work has the LPPL maintenance status `maintained'.
The Current Maintainer of this work is Nicolas Markey.