Gavin Smith wrote:
> somehow harder to get access to local files.
>
> The solution appears to be to install something called the Guest Additions.
Alternatively, one can use 'scp' between the guest and the host (at
IPv4 address 10.0.2.2).
Bruno
On Mon, Jan 02, 2023 at 03:46:56PM +, Gavin Smith wrote:
> One way of fixing this might be to put the generated file in a
> subdirectory so that make can't see it. Or it might not be worth
> bothering as this version of make and/or operating system isn't
> very important. Another alternative
On Mon, Jan 02, 2023 at 03:46:56PM +, Gavin Smith wrote:
> I'm yet to work out how to get logs out of the virtual machine
I found it easy to get Internet access on the virtual machine (I downloaded
Texinfo 7.0.1 from ftp.gnu.org using curl), but somehow harder to get
access to local files.
Th
Hi.
Gavin Smith wrote:
> On Mon, Jan 02, 2023 at 10:36:20PM +0200, Arnold Robbins wrote:
> > Hi.
> >
> > When I format the gawk manual using texinfo.tex 2022-12-19.22
> > there is a problem on the very first two pages. These are the
> > pages from @shorttitlepage.
> >
> > The bug is that these
