make kernel includes standard
[unix-history] / usr / src / sys / pmax / stand / mkboot.c
index 4b74063..7e0f57e 100644 (file)
@@ -15,15 +15,15 @@ char copyright[] =
 #endif not lint
 
 #ifndef lint
 #endif not lint
 
 #ifndef lint
-static char sccsid[] = "@(#)mkboot.c   7.3 (Berkeley) %G%";
+static char sccsid[] = "@(#)mkboot.c   7.4 (Berkeley) %G%";
 #endif not lint
 
 #endif not lint
 
+#include <sys/param.h>
+#include <sys/exec.h>
+#include <sys/disklabel.h>
 #include <stdio.h>
 #include <stdio.h>
-#include "param.h"
-#include "exec.h"
-#include "disklabel.h"
 
 
-#include "dec_boot.h"
+#include <pmax/stand/dec_boot.h>
 
 /* this is the size of the standard ULTRIX boot */
 #define MAXBOOTSIZE (15 * DEV_BSIZE)
 
 /* this is the size of the standard ULTRIX boot */
 #define MAXBOOTSIZE (15 * DEV_BSIZE)