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

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"