comparison Gui/interface.c @ 13838:cedde9834a7a

small fix to find DocBook DTD in more exotic locations like /usr/share/sgml/docbook/xml-dtd-4.1.2-1.0-22.1/docbookx.dtd
author rathann
date Mon, 01 Nov 2004 14:44:57 +0000
parents eb0d3c1b6c6d
children 00bb3326391c
comparison
equal deleted inserted replaced
13837:3041b42a82fd 13838:cedde9834a7a