*** md.arm32.orig	Thu Jan 28 04:11:47 1999
--- md.arm32	Mon May 10 01:54:36 1999
***************
*** 13,18 ****
--- 13,19 ----
  ./usr/include/arm32/cpufunc.h
  ./usr/include/arm32/cpus.h
  ./usr/include/arm32/db_machdep.h
+ ./usr/include/arm32/devmap.h
  ./usr/include/arm32/disklabel.h
  ./usr/include/arm32/disklabel_acorn.h
  ./usr/include/arm32/endian.h