From 52f38ed4a5beea41d4c6a30490b6d112c164a791 Mon Sep 17 00:00:00 2001 From: peter Date: Mon, 12 Oct 1998 14:18:17 +0000 Subject: [PATCH] * fixed #include example --- docs/user.tex | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/docs/user.tex b/docs/user.tex index 952f410964..9cf7797423 100644 --- a/docs/user.tex +++ b/docs/user.tex @@ -1249,9 +1249,11 @@ have the global options that are set in a global configuration file. Example: \begin{verbatim} #IFDEF LINUX -#INCLUDE /etc/ppc386.cfg -#IFDEF DOS -#INCLUDE c:\pp\bin\ppc386.cfg + #INCLUDE /etc/ppc386.cfg +#ELSE + #IFDEF GO32V2 + #INCLUDE c:\pp\bin\ppc386.cfg + #ENDIF #ENDIF \end{erbatim} This will include \file{/etc/ppc386.cfg} if you're on a linux machine,