From d049732b73c04fe93839b552c403e731c0d5d8fc Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Thu, 17 Nov 2016 14:24:28 -0500 Subject: [PATCH] Change "bibliography file" to "bibliography database" in a comment. --- GNUmakefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/GNUmakefile b/GNUmakefile index cf7ab22..89db2d9 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -11,7 +11,7 @@ PN = examples # A space-separated list of bib files. These must all belong to paths # contained in your $BIBINPUTS environment variable. # -# Leave commented if you don't use a bibliography file. +# Leave commented if you don't use a bibliography database. # #BIBS = references.bib -- 2.43.2