Searched refs:doc_filename (Results 1 – 1 of 1) sorted by relevance
37 static char *doc_filename = "doc.c"; variable142 doc_filename = NULL_DEVICE; in main()147 doc_stream = must_fopen (doc_filename, "w"); in main()