manual: Improve documentation of get_current_dir_name. [BZ #6889]