1PPXFIND(1)                       User Commands                      PPXFIND(1)
2
3
4

NAME

6       ppxfind - manual page for ppxfind 1.4
7

DESCRIPTION

9       ppxfind [options] ppx1,ppx2,... [ppx-options] [file]
10
11       -legacy
12              Use the legacy ppx system
13
14       -debug Enable debug messages
15
16       -help  Display this list of options
17
18       --help Display this list of options
19
20
21
22ppxfind 1.4                     September 2020                      PPXFIND(1)