[Axiom-developer] Ping: case insensitive filesystems

[Page, Bill]

Gaby,

Are you willing to give Waldek the "go ahead" to commit the
following patch?

I think this is very important because these naming problems
still prevent svn from being used on both Windows and MAC.

Regards,
Bill Page.

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}{\\}

-- 
>
>                               Waldek Hebisch
> address@hidden 
>