diff options
-rw-r--r-- | DOCS/German/bugreports.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/DOCS/German/bugreports.html b/DOCS/German/bugreports.html index 52419d2ee8..60cbefdc0f 100644 --- a/DOCS/German/bugreports.html +++ b/DOCS/German/bugreports.html @@ -80,8 +80,8 @@ z.B.:<UL> <P><B><I>3. Ausgabe von configure/make:</I></B></P> <UL><LI><CODE>make distclean</CODE> -<LI><CODE>./configure &>config.log</CODE> -<LI><CODE> ./make &>make.log</CODE> +<LI><CODE>./configure & > config.log</CODE> +<LI><CODE> ./make & > make.log</CODE> </UL> <P><B><I>4. diese Dateien:</I></B></P> |