diff options
-rw-r--r-- | src/core/wee-doc.c | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/src/core/wee-doc.c b/src/core/wee-doc.c index c6f008b74..dd84a8ece 100644 --- a/src/core/wee-doc.c +++ b/src/core/wee-doc.c @@ -598,10 +598,13 @@ doc_gen_user_options (const char *path, const char *lang) free (default_value); } - string_fprintf ( - file, - "// end::%s_options[]\n", - old_config->name); + if (old_config) + { + string_fprintf ( + file, + "// end::%s_options[]\n", + old_config->name); + } arraylist_free (list_options); |