Added bastion and (dummy) rexec docs
diff --git a/Doc/lib/lib.tex b/Doc/lib/lib.tex
index 2c99cbe..3e74935 100644
--- a/Doc/lib/lib.tex
+++ b/Doc/lib/lib.tex
@@ -83,6 +83,8 @@
 \input{libcopy}
 \input{libmarshal}
 \input{libimp}
+\input{librexec}
+\input{libbastion}
 \input{libparser}
 \input{libbltin}		% really __builtin__
 \input{libmain}			% really __main__