Searched refs:save_docbook (Results 1 – 1 of 1) sorted by relevance
4123 int save_docbook = docbook; in text_expansion() local4131 docbook = save_docbook; in text_expansion()