diff --git a/doc/Makefile b/doc/Makefile
index 1333693b..0a72feed 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -13,7 +13,7 @@ endif
 
 docs: progdocs userdocs
 
-progdocs: prog.html
+progdocs: prog.html prog.dvi
 
 prog.sgml:
 	$(srcdir)/tools/progdoc $(srcdir_abs)
diff --git a/doc/bird.sgml b/doc/bird.sgml
index 2adf9b55..fab540b3 100644
--- a/doc/bird.sgml
+++ b/doc/bird.sgml
@@ -397,7 +397,7 @@ bird> show route
 195.113.30.2/32    dev tunl1 [direct1 23:21] (240)
 127.0.0.0/8        dev lo [direct1 23:21] (240)
 bird> show route ?
-show route [<prefix>] [table <t>] [filter <f>] [all] [primary] [(import|protocol) <p>] [stats]  Show routing table
+show route [<prefix>] [table <t>] [filter <f>] [all] [primary] [(import|protocol) <p>]...
 bird> show route filter { if 127.0.0.5 ~ net then accept; }
 127.0.0.0/8        dev lo [direct1 23:21] (240)
 bird>
@@ -507,7 +507,10 @@ case arg1 {
 	else: print "something else";
 	}
 
-if 1234 = i then printn "."; else { print "not 1234"; print "You need {} around multiple commands"; }
+if 1234 = i then printn "."; else { 
+  print "not 1234"; 
+  print "You need {} around multiple commands"; 
+}
 </code>
 
 <sect>Route attributes
diff --git a/filter/Doc b/filter/Doc
index 0063b827..407a44ba 100644
--- a/filter/Doc
+++ b/filter/Doc
@@ -1 +1,2 @@
 H Filters
+S filter.c
\ No newline at end of file
diff --git a/proto/rip/Doc b/proto/rip/Doc
index c20bd351..2c7f4c8f 100644
--- a/proto/rip/Doc
+++ b/proto/rip/Doc
@@ -1 +1,2 @@
 S rip.c
+S auth.c