diff --git a/include/grub/net/disknet.h b/include/grub/net/disknet.h
deleted file mode 100644
index 59aa2a320..000000000
--- a/include/grub/net/disknet.h
+++ /dev/null
@@ -1,5 +0,0 @@
-#ifndef GRUB_DISKNET_HEADER
-#define GRUB_DISKNET_HEADER	1
-  void grub_disknet_init(void);
-  void grub_disknet_fini(void);
-#endif /* ! GRUB_NET_HEADER */