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 > [EMAIL PROTECTED] > _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer