From: J. Bruce Fields <bfields@citi.umich.edu>
Date: Sun, 18 Mar 2007 00:40:13 +0000 (-0400)
Subject: user-manual: Use def_ instead of ref_ for glossary references.
X-Git-Tag: v1.5.0.6~4^2~3
X-Git-Url: https://git.lorimer.id.au/gitweb.git/diff_plain/06e7ea37875e4ee4a0ada701d52e2466f344c0f3?hp=06e7ea37875e4ee4a0ada701d52e2466f344c0f3

user-manual: Use def_ instead of ref_ for glossary references.

I'd like to start using references to the glossary in the user manual.
The "ref_" prefix for these references seems a little generic; so
replace with "def_".

Signed-off-by: "J. Bruce Fields" <bfields@citi.umich.edu>
---