diff doc/docchecker @ 28635:87f92d6f0bc3

edit: allow to configure the suffix of the temporary filename Sometimes, we can pick a more appropriate default suffix than ".txt", for example, diffs could have a ".diff" suffix.
author Jordi Gutiérrez Hermoso <jordigh@octave.org>
date Sun, 20 Mar 2016 13:55:41 -0400
parents c00f67c15c5a
children 9934362978e1
line wrap: on
line diff