[gtk-doc] Add space between type and * in properties

[William Jon McCann <mccann src gnome org>]

commit 44864311d8d6df4f3e735d263929b19e213e0fb6
Author: William Jon McCann <william jon mccann gmail com>
Date:   Mon Feb 10 09:35:45 2014 -0500

    Add space between type and * in properties
    
    https://bugzilla.gnome.org/show_bug.cgi?id=723991

 gtkdoc-mkdb.in |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/gtkdoc-mkdb.in b/gtkdoc-mkdb.in
index 498ca4d..6fa6f76 100755
--- a/gtkdoc-mkdb.in
+++ b/gtkdoc-mkdb.in
@@ -3696,14 +3696,14 @@ sub GetArgs {
             my $default_output = CreateValidSGML ($default);
 
             if ($type eq "GtkString") {
-                $type = "char*";
+                $type = "char&#160;*";
             }
             if ($type eq "GtkSignal") {
                 $type = "GtkSignalFunc, gpointer";
                 $type_output = &MakeXRef ("GtkSignalFunc") . ", "
                     . &MakeXRef ("gpointer");
             } elsif ($type =~ m/^(\w+)\*$/) {
-                $type_output = &MakeXRef ($1, &tagify($1, "type")) . "*";
+                $type_output = &MakeXRef ($1, &tagify($1, "type")) . "&#160;*";
             } else {
                 $type_output = &MakeXRef ($type, &tagify($type, "type"));
             }