blob: ff7994c6bb47ea4dbcc8b2b4135255e14413d7cc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
%%
%% This is file `texosquery.cfg',
%% generated with the docstrip utility.
%%
%% The original source files were:
%%
%% texosquery.dtx (with options: `texosquery.cfg')
%%
%% Please follow the instructions below.
% This configuration file must be edited to match your system.
% Copy the file to your TEXMFLOCAL or TEXMFHOME tree to prevent it
% from being overwritten by updates.
% 1. Check your version of Java. To do this run
% java -version
% from your command line.
% * If the version number starts with "1.5" or "1.6" then
% \TeXOSInvokerName must be texosquery-jre5
%
% * If the version number starts with "1.7" then
% \TeXOSInvokerName must be texosquery
%
% * If the version number starts with "1.8" then
% \TeXOSInvokerName must be texosquery-jre8
% (bash users need to check that the .sh extension has been removed
% from the bash scripts.)
\def\TeXOSInvokerName{texosquery}
% 2. If the invoker name given in the definition above is on the
% restricted list, uncomment the line below to allow it to be run
% in restricted mode:
%\TeXOSQueryAllowRestricted
% Leave it commented out if the invoker name is not on the
% restricted list.
\endinput
%%
%% End of file `texosquery.cfg'.
|