diff --git a/bochs/doc/docbook/include/defs.sgm b/bochs/doc/docbook/include/defs.sgm index decc75e08..410fd6ef3 100644 --- a/bochs/doc/docbook/include/defs.sgm +++ b/bochs/doc/docbook/include/defs.sgm @@ -1,7 +1,7 @@