diff options
Diffstat (limited to 'Build/source/README.config')
-rw-r--r-- | Build/source/README.config | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Build/source/README.config b/Build/source/README.config index 2175fe3e901..0e8be6b7c94 100644 --- a/Build/source/README.config +++ b/Build/source/README.config @@ -163,6 +163,14 @@ Hardwire the location of GhostScript (gs). Use toolkit KIT (motif/xaw/xaw3d/neXtaw) for xdvi, default: Motif if available, else Xaw. +2.5. Configure options for texk/dvisvgm/ +---------------------------------------- +2.5.1. --with-system-libgs +Build dvisvgm with installed gs headers and library. The default is to load +the gs library at runtime, or disable support for PostScript specials. + +2.5.2. --with-libgs-includes=DIR, --with-libgs-libdir=DIR +Non standard search locations for libgs. 3. Configure options for libraries ================================== |