The "empty-dirs" setting:

The value is a list of pathnames parsed according to the same rules as the *-glob settings. On update and checkout commands, if no directory exists with that name, an empty directory will be be created, even if it must create one or more parent directories.

REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]