Eli Flanagan 05ad4e8806 doc: convention improvements for copying closure (#10702) ...

* doc: convention improvements for copying closure

   use -P, which only considers executables but not shell builtins

Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io>

2024-05-14 20:38:54 +00:00

..

external-api

doc/external-api/local.mk: Rebuild when headers change

2024-04-17 17:17:59 +02:00

internal-api

doc/internal-api/local.mk: Rebuild when headers change

2024-04-17 17:28:30 +02:00

manual

doc: convention improvements for copying closure (#10702)

2024-05-14 20:38:54 +00:00