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=0879c9de4eaf8c78131c243d8e9fec013df0d14a;hpb=2829202e393e4b0095d62739910ae56f04e83326

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"