CVS: cvs.openbsd.org: ports

[Antoine Jacoutot]

CVSROOT:        /cvs
Module name:    ports
Changes by:     ajacou...@cvs.openbsd.org       2014/05/13 00:40:30

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

Log message:
Update to gnome-devel-docs-3.12.2.