*** empty log message ***

[h316.git] / pc-tools / ldc2 / doc / body.tex

diff --git a/pc-tools/ldc2/doc/body.tex b/pc-tools/ldc2/doc/body.tex
index e72446c63a4e94b2f3410211db195157affb1e83..83d44028ecc2a29a2eca3dfc51c7fc036655f980 100644 (file)
--- a/pc-tools/ldc2/doc/body.tex
+++ b/pc-tools/ldc2/doc/body.tex
@@ -1,11 +1,10 @@
-\newcommand{\pname}{ \emph{LDC2} }
-
+\input defs
 \input intro
 \newpage
 \input req_spec
 \newpage
 \input impl_spec
-\newpage
+%\newpage
 \input test_spec
 \newpage
 \input appendix