Read documentation from a file
String_Type get_doc_string_from_file (String_Type f, String_Type t)
get_doc_string_from_file opens the documentation file f
and searches it for topic t. It returns the documentation for
t upon success, otherwise it returns NULL upon error.
It will fail if f could not be opened or does not contain
documentation for the topic.
stat_file