version 1.1, 2001/10/02 11:17:00 |
version 1.2, 2002/09/11 07:26:46 |
Line 90 prettyprinter = "/usr/local/bin/tex2mail -TeX -noinden |
|
Line 90 prettyprinter = "/usr/local/bin/tex2mail -TeX -noinden |
|
\\********************** FORMAT OF THIS FILE : *************************** |
\\********************** FORMAT OF THIS FILE : *************************** |
\\ Lines starting with '\\' and between '/*' '*/' pairs are comments |
\\ Lines starting with '\\' and between '/*' '*/' pairs are comments |
\\ Blank lines are ignored |
\\ Blank lines are ignored |
\\ Line starting with #if KEYWORD is read iff KEYWORD is TRUE |
\\ Line starting with #if BOOLEAN is read iff BOOLEAN is TRUE |
\\ Currently recognized keywords: |
\\ Currently recognized booleans: |
\\ EMACS are we running under Emacs? |
\\ EMACS are we running under Emacs? |
\\ READL is readline available? |
\\ READL is readline available? |
|
\\ VERSION {<,>,<=,>=} a.b.c does version number satisfy the inequality? |
\\ |
\\ |
\\ This file should be put in $HOME/.gprc or /etc/gprc and contain: |
\\ This file should be put in $HOME/.gprc or /etc/gprc and contains: |
\\ * references to gp scripts that are to be run BEFORE the first gp prompt. |
\\ * references to gp scripts that are to be run BEFORE the first gp prompt. |
\\ |
\\ |
\\ Syntax: read "filename" (quotes are mandatory. ~ syntax allowed) |
\\ Syntax: read "filename" (quotes are mandatory. ~ syntax allowed) |