define redo
file ginstall-info
end

#set args tests/ii-0053-input-info-file /tmp/junkdir
#set args --name="Wildebeest" tests/ii-0029-input-info-file /tmp/junkdir
#set args --name='* Wildebeest: (gnu).' tests/ii-0028-input-info-file /tmp/junkdir
#set args --name='* Gnu: (gnu).' tests/ii-0022-input-info-file /tmp/junkdir
#set args --name='Gnu' tests/ii-0023-input-info-file /tmp/junkdir
#set args tests/ii-0051-input-info-file /tmp/junkdir

#http://savannah.gnu.org/bugs/?32975
set env LC_ALL=ru_RU  
set env LC_ALL=it_IT.UTF-8
set args --info-dir=/tmp/idir $HOME/tmp/install-info-bug/foo.info