axiom-developer
[Top][All Lists]
Advanced

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

Re: [Axiom-developer] build-improvements and latex


From: Waldek Hebisch
Subject: Re: [Axiom-developer] build-improvements and latex
Date: Sun, 22 Oct 2006 20:09:49 +0200 (CEST)

Bill Page wrote:
> I think we should ask Norman Ramsey about this "name mangling".
> 
> Does it have a nice solution that would allow us to use
> the version(s) of noweb distributed by Debian?
> 
> > -----Original Message-----
> > From: Waldek Hebisch [mailto:address@hidden 
> > Subject: Re: [Axiom-developer] build-improvements and latex
> > 
> > 
> > Bill Page wrote:
> > > On October 22, 2006 9:39 AM Waldek Hebisch wrote:
> > > >
> > > > For example latex run on src/hyper/parse_aux.tex gives the
> > > > following errors (I removedother messages which are caused by
> > > > the two errors):
> > > > 
> > > > ! Missing $ inserted.
> > > > <inserted text>
> > > >                 $
> > > > l.13 ...aux.pamphlet}\nwbegincode{1}\moddef{parse_
> > > >                                                   
> > > > aux.h}\endmoddef\nwstartde...
> > > > ... 
> > 
> > On 32-bit Debian Sarge with "nowebm 2.10c-3.2" I get the output you
> > show. But on 64-bit Debian testing/unstable using "nowebm 2.10c-3.3"
> > I get:
> > 
> > \section{parse\_aux.h}
> > \nwfilename{parse_aux.pamphlet}\nwbegincode{1}\moddef{parse_au
> > x.h}\endmoddef\nwstartdeflinemarkup\nwenddeflinemarkup
> > \LA{}license\RA{}
> > 
> > 

Correction: both verion of noweb give the same result. The real reason
is that parse_aux.pamphlet in build-improvements is modified:

--- ../../silver/axiom/src/hyper/parse_aux.pamphlet     2006-10-20 
23:54:15.000000000 +0200
+++ parse_aux.pamphlet  2006-10-22 19:42:42.000000000 +0200
@@ -10,7 +10,7 @@
 \tableofcontents
 \eject
 \section{parse\_aux.h}
-<<parseaux.h>>=
+<<parse_aux.h>>=
 <<license>>
 #ifndef _PARSE_AUX_H_
 #define _PARSE_AUX_H_ 1

and three similar chunks.

-- 
                              Waldek Hebisch
address@hidden 




reply via email to

[Prev in Thread] Current Thread [Next in Thread]