1 files changed, 0 insertions, 54 deletions
diff --git a/static/inferno/man3/INDEX.3 b/static/inferno/man3/INDEX.3
deleted file mode 100644
index 82bda96c..00000000
--- a/static/inferno/man3/INDEX.3
+++ /dev/null
@@ -1,54 +0,0 @@
-intro 0intro
-arch arch
-audio audio
-boot boot
-cap cap
-cmd cmd
-cons cons
-dbg dbg
-draw draw
-ds ds
-dup dup
-dynld dynld
-eia eia
-env env
-ether ether
-flash flash
-floppy floppy
-fpga fpga
-fs fs
-ftl ftl
-gpio gpio
-i2c i2c
-i82365 i82365
-indir indir
-ip ip
-kprof kprof
-logfs logfs
-lpt lpt
-mnt mnt
-mpeg mpeg
-pbus pbus
-pipe pipe
-plap plap
-pci pnp
-pnp pnp
-pointer pointer
-prof prof
-prog prog
-root root
-rtc rtc
-sd sd
-sign sign
-snarf snarf
-srv srv
-srv9 srv9
-ssl ssl
-switch switch
-tinyfs tinyfs
-tls tls
-touch touch
-tv tv
-usb usb
-vga vga
-vid vid