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)
void establish_directory( const path & ph );
has the right mix of senses. see http://dictionary.reference.com/search?q=establish
re
(5th attempt to post this useless suggestion, guess the issue has decomposed by now... i gotta read a book about this internet thing someday)
_______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost
