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