#!/bin/bash
+# Any copyright is dedicated to the Public Domain.
+# https://creativecommons.org/publicdomain/zero/1.0/
+
+# Written by Francois Fleuret <francois@fleuret.org>
+
# Very ugly but handy stuff: loops through the bibtex keys provided as
# arguments, and for each grabs the first bib entry that matches in
# all the found bib files.