[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: SEMI doesn't produce info files?



At Thu, 03 Mar 2011 09:24:53 +0200,
Jonathan Groll wrote:
> 
> On Thu, 03 Mar 2011 00:50:10 -0500, Dave Abrahams <dave@boostpro.com> wrote:
> 
> > I notice that SEMI comes with a bunch of documentation in .texi format, but no info files are generated.  Is that intentional?
> 
> I have the SEMI info files intalled on my machine (Debian packaged
> SEMI 1.14, package is called 'semi').

I don't doubt that the Debian people figured out how to package them.
Sure, you can make 'em, with "makeinfo --force" (a couple of small
errors prevent generation). However, there's nothing in the makefile
to build them, for example.


-- 
Dave Abrahams
BoostPro Computing
http://www.boostpro.com