1PPXFIND(1) User Commands PPXFIND(1)
23
4
NAME
6ppxfind - manual page for ppxfind 1.4
7
DESCRIPTION
9ppxfind [options] ppx1,ppx2,... [ppx-options] [file]
1011
-legacy
12Use the legacy ppx system
1314
-debug Enable debug messages
1516
-help Display this list of options
1718
--help Display this list of options
1920
21
22
ppxfind 1.4 September 2020 PPXFIND(1)