On Tuesday, November 07, 2006 4:24 PM Waldek Hebisch wrote:
> ...
> I propose: rename capital Greek letters according to
> Bill Page proposal. Adjust 'util.ht' to match (all other
> hypertex pages should access Greek letters only via macros
> defined in 'util.ht').
> Next, remove 'ATX=B.bitmap', 'SEGBIND.ps' and 'segbind.ps'.
>
> Those changes should solve problems with duplicate filenames on
> case insensitive filesystems.
>
> --- build-improvements.pp/src/hyper/pages/util.ht
> 2006-11-02 18:27:39.000000000 +0100
> +++ build-improvements/src/hyper/pages/util.ht
> 2006-11-07 22:43:56.499790528 +0100
> @@ -240,7 +240,7 @@
> \newcommand{\coprod}{\inputbitmap{\htbmdir{}/coprod.bitmap}}
> \newcommand{\del}{\inputbitmap{\htbmdir{}/del.bitmap}}
> \newcommand{\delta}{\inputbitmap{\htbmdir{}/delta.bitmap}}
> -\newcommand{\Delta}{\inputbitmap{\htbmdir{}/Delta.bitmap}}
> +\newcommand{\Delta}{\inputbitmap{\htbmdir{}/Delta-cap.bitmap}}
> \newcommand{\div}{\inputbitmap{\htbmdir{}/div.bitmap}}
> \newcommand{\dot}{\inputbitmap{\htbmdir{}/dot.bitmap}}
> \newcommand{\ell}{\inputbitmap{\htbmdir{}/ell.bitmap}}
> @@ -253,7 +253,7 @@
> \newcommand{\footnote}[1]{ {(#1)}}
> \newcommand{\frenchspacing}{}
> \newcommand{\gamma}{\inputbitmap{\htbmdir{}/gamma.bitmap}}
> -\newcommand{\Gamma}{\inputbitmap{\htbmdir{}/Gamma.bitmap}}
> +\newcommand{\Gamma}{\inputbitmap{\htbmdir{}/Gamma-cap.bitmap}}
> \newcommand{\hbar}{\inputbitmap{\htbmdir{}/hbar.bitmap}}
> \newcommand{\hbox}[1]{{#1}}
> \newcommand{\hfill}{}
> @@ -269,7 +269,7 @@
> \newcommand{\kappa}{\inputbitmap{\htbmdir{}/kappa.bitmap}}
> \newcommand{\label}[1]{}
> \newcommand{\lambda}{\inputbitmap{\htbmdir{}/lambda.bitmap}}
> -\newcommand{\Lambda}{\inputbitmap{\htbmdir{}/Lambda.bitmap}}
> +\newcommand{\Lambda}{\inputbitmap{\htbmdir{}/Lambda-cap.bitmap}}
> \newcommand{\large}{}
> \newcommand{\ldots}{...}
> \newcommand{\le}{<=}
> @@ -282,41 +282,41 @@
> \newcommand{\nabla}{\inputbitmap{\htbmdir{}/nabla.bitmap}}
> \newcommand{\nu}{\inputbitmap{\htbmdir{}/nu.bitmap}}
> \newcommand{\omega}{\inputbitmap{\htbmdir{}/omega.bitmap}}
> -\newcommand{\Omega}{\inputbitmap{\htbmdir{}/Omega.bitmap}}
> +\newcommand{\Omega}{\inputbitmap{\htbmdir{}/Omega-cap.bitmap}}
> \newcommand{\pageref}[1]{???}
> \newcommand{\parallel}{\inputbitmap{\htbmdir{}/parallel.bitmap}}
> \newcommand{\partial}{\inputbitmap{\htbmdir{}/partial.bitmap}}
> \newcommand{\phi}{\inputbitmap{\htbmdir{}/phi.bitmap}}
> -\newcommand{\Phi}{\inputbitmap{\htbmdir{}/Phi.bitmap}}
> +\newcommand{\Phi}{\inputbitmap{\htbmdir{}/Phi-cap.bitmap}}
> \newcommand{\pi}{\inputbitmap{\htbmdir{}/pi.bitmap}}
> -\newcommand{\Pi}{\inputbitmap{\htbmdir{}/Pi.bitmap}}
> +\newcommand{\Pi}{\inputbitmap{\htbmdir{}/Pi-cap.bitmap}}
> \newcommand{\prime}{\inputbitmap{\htbmdir{}/prime.bitmap}}
> \newcommand{\prod}{\inputbitmap{\htbmdir{}/prod.bitmap}}
> \newcommand{\protect}{}
> \newcommand{\psi}{\inputbitmap{\htbmdir{}/psi.bitmap}}
> -\newcommand{\Psi}{\inputbitmap{\htbmdir{}/Psi.bitmap}}
> +\newcommand{\Psi}{\inputbitmap{\htbmdir{}/Psi-cap.bitmap}}
> \newcommand{\quad}{\inputbitmap{\htbmdir{}/quad.bitmap}}
> \newcommand{\Re}{\inputbitmap{\htbmdir{}/Re.bitmap}}
> \newcommand{\rho}{\inputbitmap{\htbmdir{}/rho.bitmap}}
> \newcommand{\sc}{\rm}
> \newcommand{\sf}{\bf}
> \newcommand{\sigma}{\inputbitmap{\htbmdir{}/sigma.bitmap}}
> -\newcommand{\Sigma}{\inputbitmap{\htbmdir{}/Sigma.bitmap}}
> +\newcommand{\Sigma}{\inputbitmap{\htbmdir{}/Sigma-cap.bitmap}}
> \newcommand{\small}{}
> \newcommand{\sum}{\inputbitmap{\htbmdir{}/sum.bitmap}}
> \newcommand{\surd}{\inputbitmap{\htbmdir{}/surd.bitmap}}
> \newcommand{\tau}{\inputbitmap{\htbmdir{}/tau.bitmap}}
> \newcommand{\theta}{\inputbitmap{\htbmdir{}/theta.bitmap}}
> -\newcommand{\Theta}{\inputbitmap{\htbmdir{}/Theta.bitmap}}
> +\newcommand{\Theta}{\inputbitmap{\htbmdir{}/Theta-cap.bitmap}}
> \newcommand{\times}{\inputbitmap{\htbmdir{}/times.bitmap}}
> \newcommand{\top}{\inputbitmap{\htbmdir{}/top.bitmap}}
> \newcommand{\triangle}{\inputbitmap{\htbmdir{}/triangle.bitmap}}
> \newcommand{\upsilon}{\inputbitmap{\htbmdir{}/upsilon.bitmap}}
> -\newcommand{\Upsilon}{\inputbitmap{\htbmdir{}/Upsilon.bitmap}}
> +\newcommand{\Upsilon}{\inputbitmap{\htbmdir{}/Upsilon-cap.bitmap}}
> \newcommand{\vbox}[1]{{#1}}
> \newcommand{\wp}{\inputbitmap{\htbmdir{}/wp.bitmap}}
> \newcommand{\xi}{\inputbitmap{\htbmdir{}/xi.bitmap}}
> -\newcommand{\Xi}{\inputbitmap{\htbmdir{}/Xi.bitmap}}
> +\newcommand{\Xi}{\inputbitmap{\htbmdir{}/Xi-cap.bitmap}}
> \newcommand{\zeta}{\inputbitmap{\htbmdir{}/zeta.bitmap}}
> \newcommand{\bs}{\\}
>
Great. I think this patch should go in as a priority since at this
time Axiom developers on a MAC still can not use svn to get Axiom.
But I almost hesitate to ask the following: Why aren't the files
in src/hyper/pages in pamphlet format? Well, ok, they do look like
latex files already but in this case they are also source files for
hyperdoc. Would including these files as chunks in a pamphlet file
present any technical problem to noweb?
Regards,
Bill Page.
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
