diff configure @ 91626:909982607efd

Group manuals by category, and move important groups to top.
author Jason Rumney <jasonr@gnu.org>
date Thu, 07 Feb 2008 13:38:45 +0000
parents cdc08d88f810
children f991f10f15ec
line wrap: on
line diff