[Mono-dev] cannot create regular file `/.../vbnet.lang': Permission [correctly] denied

[Steven T. Hatton]

When I 
./autogen.sh --prefix=$MONO_HOME &&\
 make && make install

for gtksourceview-sharp I get an error message saying:

test -z "/opt/gnome/share/gtksourceview-1.0/language-specs" || mkdir -p -- 
"/opt/gnome/share/gtksourceview-1.0/language-specs"
 /usr/bin/install -c -m 644 'nemerle.lang' 
'/opt/gnome/share/gtksourceview-1.0/language-specs/nemerle.lang'
/usr/bin/install: cannot create regular file 
`/opt/gnome/share/gtksourceview-1.0/language-specs/nemerle.lang': Permission 
denied
 /usr/bin/install -c -m 644 'vbnet.lang' 
'/opt/gnome/share/gtksourceview-1.0/language-specs/vbnet.lang'
/usr/bin/install: cannot create regular file 
`/opt/gnome/share/gtksourceview-1.0/language-specs/vbnet.lang': Permission 
denied
make[2]: *** [install-extra_langDATA] Error 1
make[2]: Leaving directory `/download/org/go-mono/gtksourceview-sharp'
make[1]: *** [install-am] Error 2
make[1]: Leaving directory `/download/org/go-mono/gtksourceview-sharp'
make: *** [install-recursive] Error 1


And that is exactly what should happen when an install script tries to write 
to a system directory!  $MONO_HOME is where I said to put the results of the 
build process.  How do I report this bug?
-- 
Regards,
Steven