This is the mail archive of the
gsl-discuss@sourceware.org
mailing list for the GSL project.
Re: make doc, problem with derivative/prime/apostrophe
- From: Brian Gough <bjg at gnu dot org>
- To: Tuomo Keskitalo <Tuomo dot Keskitalo at iki dot fi>
- Cc: GSL Discuss Mailing List <gsl-discuss at sourceware dot org>
- Date: Tue, 12 Oct 2010 16:11:10 +0100
- Subject: Re: make doc, problem with derivative/prime/apostrophe
- References: <4CB1A73C.3000107@iki.fi>
At Sun, 10 Oct 2010 14:45:00 +0300,
Tuomo Keskitalo wrote:
> I've recently moved to Ubuntu 10.04. Now "make doc" and "make ps" seems
> to hang, and it seems that the problem is with derivatives marked with
> apostrophe, e.g. "x'". If I change that to "x\prime" then make doc seems
> to make progress. Must we change all derivative apostrophes to \prime in
> *.texi, or what is correct?
It was a bug in Texinfo, I reported it a while back and it is fixed in
more recent versions of Texinfo.
--
Brian Gough