[PATCH 5/7] PR gdb/15224 , Change the default set history filename to ~/.gdb_history.

[Eli Zaretskii]

> Date: Wed, 15 May 2013 16:08:31 +0500
> From: mbilal <mbilal@codesourcery.com>
> CC: <jan.kratochvil@redhat.com>
> 
> In This patch Default location of History file has been changed to user 
> home directory (~/.gdb_history).

Any reasons why we should be changing the default?  Is it bad to have
a different history file in each project's directory?

The patches for the documentation parts are approved.

Thanks.