diff options
Diffstat (limited to 'Build/source/texk/dvipsk/dvips.help')
-rw-r--r-- | Build/source/texk/dvipsk/dvips.help | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/texk/dvipsk/dvips.help b/Build/source/texk/dvipsk/dvips.help index 3754ad97946..51636887d51 100644 --- a/Build/source/texk/dvipsk/dvips.help +++ b/Build/source/texk/dvipsk/dvips.help @@ -18,7 +18,8 @@ Options: -m* Manual feed -M* Don't make fonts -mode s Metafont device name -n # Maximum number of pages -N* No structured comments --noomega Disable Omega extensions +-noomega Disable Omega and pTeX extensions +-noptex Disable pTeX extensions -o f Output file -O c Set/change paper offset -p # First page -P s Load config.$s -pp l Print only pages listed |