diff Gui/Makefile @ 22496:e204544de710

Make sure docbook 4.x gets preferred over 3.x.
author diego
date Sun, 11 Mar 2007 16:50:52 +0000
parents ddc54f850d53
children 8bcff5c7e387
line wrap: on
line diff