demexp-dev
[Top][All Lists]
Advanced

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

Re: [Demexp-dev] Re: Modified wdialog-client.


From: David MENTRE
Subject: Re: [Demexp-dev] Re: Modified wdialog-client.
Date: Thu, 05 Oct 2006 22:16:07 +0200
User-agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.4 (gnu/linux)

Hi Ketty,

"ketty ." <address@hidden> writes:

> I have now put a local branch online at:
> http://equah.afraid.org/demexp/hgweb.cgi

I have been able to compile it with below patch. Apparently, you haven't
made a 'make all' to compile the demexp-book. There is only remaning
glitch with a UTF-8 accent in browse.ui.nw as all my accents are in
Latin1. In fact, I should change all files to UTF-8.


As you have modified a lot the code, I'm going to need to think at a way
to integrate your work.


diff -r 1a12f39f4ffe doc/demexp-book.tex
--- a/doc/demexp-book.tex       Thu Oct 05 06:59:17 2006 +0200
+++ b/doc/demexp-book.tex       Thu Oct 05 22:12:15 2006 +0200
@@ -246,19 +246,8 @@ literate programming form because it is 
 
 \part{Web interface (\texttt{web/})}
 \input{../web/serverConnection.ml.tex}
-\input{../web/registry.ml.tex}
-\input{../web/session.ui.tex}
-\input{../web/session.ml.tex}
 \input{../web/login.ui.tex}
-\input{../web/login.ml.tex}
 \input{../web/browse.ui.tex}
-\input{../web/browse.ml.tex}
-\input{../web/addResponse.ui.tex}
-\input{../web/addResponse.ml.tex}
-\input{../web/addQuestion.ui.tex}
-\input{../web/addQuestion.ml.tex}
-\input{../web/voteWeb.ui.tex}
-\input{../web/voteWeb.ml.tex}
 \input{../web/demexpweb.ui.tex}
 \input{../web/demexpweb.ml.tex}
 
diff -r 1a12f39f4ffe web/serverConnection.ml.nw
--- a/web/serverConnection.ml.nw        Thu Oct 05 06:59:17 2006 +0200
+++ b/web/serverConnection.ml.nw        Thu Oct 05 22:07:31 2006 +0200
@@ -11,9 +11,11 @@ open Messages_clnt
 @ 
 
 The server to connect to is decided by one of
-1. the file /etc/demexp_server
-2. the file ./demexp_server
-3. the hardcoded value of Config.default_server_name
+\begin{enumerate}
+\item the file [[/etc/demexp_server]];
+\item the file [[./demexp_server]];
+\item the hardcoded value of [[Config.default_server_name]].
+\end{enumerate}
 
 <<serverConnection.ml>>=
 let web_default_server =


Best wishes,
d.
-- 
GPG/PGP key: A3AD7A2A David MENTRE <address@hidden>
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A




reply via email to

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