diff options
| author | Ingo Schwarze <schwarze@cvs.openbsd.org> | 2011-07-05 04:49:36 +0000 |
|---|---|---|
| committer | Ingo Schwarze <schwarze@cvs.openbsd.org> | 2011-07-05 04:49:36 +0000 |
| commit | 7036472f0894777ff8ba2f25476c11dad700f5ca (patch) | |
| tree | 071fd1f255bd8c20a859ce93b4bcf746428bf457 /regress/lib/Makefile | |
| parent | 0e36778a06f5746ef60cadc41c445d6f5b6cc647 (diff) | |
Allow parallel linting of manuals,
by using one mandoc process and one timestamp file per man page.
This might be slightly slower on single-processor machines,
but it's considerably faster with make -j.
"I think so" deraadt@
Diffstat (limited to 'regress/lib/Makefile')
0 files changed, 0 insertions, 0 deletions