X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=m4%2Fgengetopt%2Fhistory_file.m4;h=73e98a7836c8bf1989775b5206617717519dc247;hp=932d88bf06825cf0ba92bd21988d5944b1c93cb4;hb=5c8d440eace21b3a80b7f3f5930dba90e69adeef;hpb=79d6515d49cdb0a91ff7c4a599f2d63cb5678032;ds=sidebyside

diff --git a/m4/gengetopt/history_file.m4 b/m4/gengetopt/history_file.m4
index 932d88bf..73e98a78 100644
--- a/m4/gengetopt/history_file.m4
+++ b/m4/gengetopt/history_file.m4
@@ -1,5 +1,5 @@
 <qu>
-option "history_file" -
+option "history-file" -
 #~~~~~~~~~~~~~~~~~~~~~~
 "(default='</qu>DEFAULT_HISTORY_FILE<qu>')"
 string typestr = "filename"