X-Git-Url: http://gitweb.hachti.de/?a=blobdiff_plain;f=pc-tools%2Fldc2%2Fdoc%2Fbody.tex;h=83d44028ecc2a29a2eca3dfc51c7fc036655f980;hb=34ce17ffec005c5cca84304997e9ccfb6a3f593e;hp=e72446c63a4e94b2f3410211db195157affb1e83;hpb=70896a91a15781c49bce37b0101466c83c51dd24;p=h316.git

diff --git a/pc-tools/ldc2/doc/body.tex b/pc-tools/ldc2/doc/body.tex
index e72446c..83d4402 100644
--- 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