[boost] Filesystem: create_directories

From: David Abrahams (dave_at_[hidden])
Date: 2003-08-01 15:56:34

The documentation for create_directories makes no sense.  It says
only:

    void create_directories( const path & ph );

    Precondition: ph.empty() || 
    forall p: p == ph || is_parent(p, ph): is_directory(p) || !exists( p ) 

    Postcondition: exists(ph) && is_directory(ph)

It looks as though this is the same as create_directory, but has a
weird precondition.  I swear I was *completely* baffled by its
purpose until I looked at the header file.

The comment in the header file describes it pretty well, though.

-- 
Dave Abrahams
Boost Consulting
www.boost-consulting.com