Upgrade to bochs-980513a.

* change package name in Makefile.
* change md5.
* change PLIST to reflect changes in the installed files.

Submitted by: Sergei Laskavy
(who submitted a patch to bochs-980409b; I upgraded to the latest version
while I was at it.)

emulators/bochs/Makefile

@@ -1,9 +1,9 @@
 # New ports collection makefile for:   bochs
-# Version required:    980331a
+# Version required:    980513a
 # Date created:        16 December 1997
 # Whom:                alex
 #
-# $Id: Makefile,v 1.8 1998/04/03 02:38:44 alex Exp $
+# $Id: Makefile,v 1.9 1998/05/18 23:49:17 alex Exp $
 #
 
 VGABIOS=	VGABIOS-elpin-2.00A

emulators/bochs/pkg-plist

@@ -3,7 +3,6 @@ lib/bochs/bios/VGABIOS-elpin-2.00A
 lib/bochs/bios/BIOS-bochs-980331a
 lib/bochs/bochsrc.sample
 share/doc/bochs/3rdparty.license.html
-share/doc/bochs/Bochs.html
 share/doc/bochs/DOS.html
 share/doc/bochs/LICENSE
 share/doc/bochs/Linux.html
@@ -12,6 +11,15 @@ share/doc/bochs/OldWindows95.html
 share/doc/bochs/Windows31.html
 share/doc/bochs/Windows95.html
 share/doc/bochs/changelog.html
+share/doc/bochs/company.html
+share/doc/bochs/construction.html
 share/doc/bochs/debugger.html
+share/doc/bochs/developers.html
+share/doc/bochs/drawing_board.html
 share/doc/bochs/features.html
+share/doc/bochs/index.html
+share/doc/bochs/install.html
+share/doc/bochs/jbochs.html
 share/doc/bochs/mtools.html
+share/doc/bochs/licensing.html
+share/doc/bochs/whatisbochs.html