2 files changed, 70 insertions, 76 deletions
diff --git a/lib/proto/inferno b/lib/proto/inferno
index 5f48599e..01eb8deb 100644
--- a/lib/proto/inferno
+++ b/lib/proto/inferno
@@ -1847,12 +1847,78 @@ dis
 	yacc.dis
 	zeros.dis
 doc
-	20010618.ps.gz
-	20011003.ps.gz
-	20020628.ps.gz
+	20010618.ms
+	20010618.pdf
+	20011003.ms
+	20011003.pdf
+	20020628.ms
 	20020628.pdf
-	changes.ps.gz
+	changes.ms
 	changes.pdf
+	acid.ms
+	acid.pdf
+	acidpaper.ms
+	acidpaper.pdf
+	acidtut.ms
+	acidtut.pdf
+	acme
+		acme.ms
+		acme.pdf
+	asm.ms
+	asm.pdf
+	backmatter.pdf
+	bltj.ms
+	bltj.pdf
+	compiler.ms
+	compiler.pdf
+	descent
+		descent.ms
+		descent.pdf
+	dev.ms
+	dev.pdf
+	dis.ms
+	dis.pdf
+	ebookimp.ms
+	ebookimp.pdf
+	fonts
+	fonts.pal
+	mkfile
+	frontmatter.pdf
+	gridinstall.ms
+	gridinstall.pdf
+	hotchips.ms
+	hotchips.pdf
+	install.ms
+	install.pdf
+	lprof.ms
+	lprof.pdf
+	limbo
+		limbo.rc
+		synsum
+		limbo.ms
+		limbo.pdf
+		addendum.ms
+		addendum.pdf
+		mkfile
+	lego.ms
+	lego.pdf
+	limbotk
+		tk.ms
+		tk.pdf
+	mk.ms
+	mk.pdf
+	perform
+		perform.ms
+		perform.pdf
+	port.ms
+	port.pdf
+	realinferno
+		real.ms
+		real.pdf
+	sh.ms
+	sh.pdf
+	styx.ms
+	styx.pdf
 env
 fonts
 	LICENCE
diff --git a/lib/proto/src b/lib/proto/src
index b741ce66..4779b1af 100644
--- a/lib/proto/src
+++ b/lib/proto/src
@@ -5,78 +5,6 @@ asm
 	assem.c
 	lex.c
 	mkfile
-doc
-	20010618.ps.gz
-	20011003.ps.gz
-	20020628.ps.gz
-	20020628.pdf
-	changes.ps.gz
-	changes.pdf
-	acid.ms
-	acid.pdf
-	acidpaper.ms
-	acidpaper.pdf
-	acidtut.ms
-	acidtut.pdf
-	acme
-		acme.ms
-		acme.pdf
-	asm.ms
-	asm.pdf
-	backmatter.pdf
-	bltj.ms
-	bltj.pdf
-	compiler.ms
-	compiler.pdf
-	descent
-		descent.ms
-		descent.pdf
-	dev.ms
-	dev.pdf
-	dis.ms
-	dis.pdf
-	ebookimp.ms
-	ebookimp.pdf
-	fonts
-	fonts.pal
-	mkfile
-	frontmatter.pdf
-	gridinstall.ms
-	gridinstall.pdf
-	hotchips.ms
-	hotchips.pdf
-	install.ms
-	install.pdf
-	lprof.ms
-	lprof.pdf
-	20010618.ms
-	limbo
-		limbo.rc
-		synsum
-		limbo.ms
-		limbo.pdf
-		addendum.ms
-		addendum.pdf
-		mkfile
-	lego.ms
-	lego.pdf
-	limbotk
-		tk.ms
-		tk.pdf
-	mk.ms
-	mk.pdf
-	perform
-		perform.ms
-		perform.pdf
-	port.ms
-	port.pdf
-	realinferno
-		real.ms
-		real.pdf
-	sh.ms
-	sh.pdf
-	styx.ms
-	styx.pdf
 emu
 	NOTICE
 	mkfile