CVS: cvs.openbsd.org: ports

[Antoine Jacoutot]

CVSROOT:        /cvs
Module name:    ports
Changes by:     ajacou...@cvs.openbsd.org       2013/05/14 02:13:56

Modified files:
        x11/gnome/user-docs: Makefile distinfo 
        x11/gnome/user-docs/pkg: PLIST 

Log message:
Update to gnome-user-docs-3.8.1.