]> matita.cs.unibo.it Git - helm.git/log
helm.git
22 years agoModified Files:
Irene Schena [Mon, 4 Mar 2002 11:23:19 +0000 (11:23 +0000)]
Modified Files:
1) home/html/Makefile home/xml/home.xml: added chapter 4 mowgli proposal
2) home/xml/project-objectives.xml: error fixed
Added Files:
1) home/images/arch.png: new image
2) home/xml/contribution.xml: chapter 4 mowgli proposal
Removed Files:
1) home/images/arch.gif: old image

22 years agoName still mispelled ;-|
Claudio Sacerdoti Coen [Fri, 1 Mar 2002 14:26:19 +0000 (14:26 +0000)]
Name still mispelled ;-|

22 years agoModified Files:
Irene Schena [Fri, 1 Mar 2002 12:49:54 +0000 (12:49 +0000)]
Modified Files:
1) home/xml/people/index.xml home/xsl/people-list.xsl: added order to sites
   (chapter 3 of mowgli proposal)

22 years agoName mispelled.
Claudio Sacerdoti Coen [Fri, 1 Mar 2002 12:41:35 +0000 (12:41 +0000)]
Name mispelled.

22 years agolablgnome.cm[x]a added to the META file.
Claudio Sacerdoti Coen [Wed, 27 Feb 2002 14:10:46 +0000 (14:10 +0000)]
lablgnome.cm[x]a added to the META file.

22 years ago* Preliminary porting to ocaml-3.04 and to gdome completed.
Claudio Sacerdoti Coen [Wed, 27 Feb 2002 13:55:10 +0000 (13:55 +0000)]
* Preliminary porting to ocaml-3.04 and to gdome completed.

22 years agoMispelled name.
Claudio Sacerdoti Coen [Wed, 27 Feb 2002 10:06:57 +0000 (10:06 +0000)]
Mispelled name.

22 years agoMore conferences.
Claudio Sacerdoti Coen [Tue, 26 Feb 2002 18:15:18 +0000 (18:15 +0000)]
More conferences.

22 years ago* A new news
Claudio Sacerdoti Coen [Tue, 26 Feb 2002 16:36:26 +0000 (16:36 +0000)]
* A new news
* links now allowed inside news

22 years agoWarning definitely removed.
Claudio Sacerdoti Coen [Tue, 26 Feb 2002 16:35:53 +0000 (16:35 +0000)]
Warning definitely removed.

22 years agoFinal commit for frames/no-frames versions.
Claudio Sacerdoti Coen [Tue, 26 Feb 2002 16:04:04 +0000 (16:04 +0000)]
Final commit for frames/no-frames versions.

1) You can now compile (and install!) the two versions together
   typing make FRAMES=x" twice.
2) The default index.html is a patched copy of html_yes_frames/index.html
   when FRAMES=yes and is not there when FRAMES=no. [I don't know what
   to put there in this case! ;-(]

The only variable that must be set in the Makefile is the destination
directory.

Question: what should we do now? Keep only one of the two versions?
Keep both of them and add a first page in which the user can choose
the version he prefers? Put a link from one version to the other
and keep one as the default?

22 years agotemplates/menu.html moved to xml/menu.xml
Claudio Sacerdoti Coen [Tue, 26 Feb 2002 15:25:09 +0000 (15:25 +0000)]
templates/menu.html moved to xml/menu.xml
(it is processed when no frames are used)

22 years ago* non-html stuff that was installed in html/members/contract is now
Claudio Sacerdoti Coen [Tue, 26 Feb 2002 13:51:04 +0000 (13:51 +0000)]
* non-html stuff that was installed in html/members/contract is now
  installed in misc/contract.
* the html dir can now be changed as wished. This allows to have
  both the "with frames" and the "without frames" versions on-line at
  the same time.
* xhtml-content.html can now produce both the version with and without
  frames

22 years ago* The footer of home.xml is now generated from xhtml-content.xsl
Claudio Sacerdoti Coen [Tue, 26 Feb 2002 10:30:34 +0000 (10:30 +0000)]
* The footer of home.xml is now generated from xhtml-content.xsl
* We are almost ready for the no-frame version.

22 years agoThe footer is now generated by xhtml-content.xsl
Claudio Sacerdoti Coen [Tue, 26 Feb 2002 10:29:13 +0000 (10:29 +0000)]
The footer is now generated by xhtml-content.xsl

22 years agoAvoided some bugs of libxslt.
Claudio Sacerdoti Coen [Tue, 26 Feb 2002 10:28:15 +0000 (10:28 +0000)]
Avoided some bugs of libxslt.

22 years agoSome code factorization: towards a frame-free site.
Claudio Sacerdoti Coen [Mon, 25 Feb 2002 16:36:08 +0000 (16:36 +0000)]
Some code factorization: towards a frame-free site.

22 years agoIt was not XHTML valid.
Claudio Sacerdoti Coen [Mon, 25 Feb 2002 15:59:53 +0000 (15:59 +0000)]
It was not XHTML valid.

22 years agoGreat changes in all the stylesheets. Every page is now generated in two
Claudio Sacerdoti Coen [Mon, 25 Feb 2002 15:47:02 +0000 (15:47 +0000)]
Great changes in all the stylesheets. Every page is now generated in two
phases:

1) A stylesheet from XML to XHTML that generates the page.
   This stylesheet no more bothers with the layout of the page w.r.t. the
   rest of the site (i.e. it doesn't add the link to CSS; it doesn't call
   the head and foot templates)
2) A common stylesheet from XHTML to HTML that just adds the header, footer
   and CSS link to the page.

The idea is that in this way it is easier to change the overall layout of
the site (e.g. removing frames). Moreover, less code is required.

Problem: xsltproc is too intelligent (= rather stupid), so that it
recognises XHTML pages and fails in applying the stylesheet. So, in the
Makefile, care (= sed) must be taken to remove the DOCTYPE definitions
from XHTML files.

22 years ago* <I> ==> <em> everywhere
Claudio Sacerdoti Coen [Mon, 25 Feb 2002 14:31:17 +0000 (14:31 +0000)]
* <I> ==> <em> everywhere
* xml/Makefile added: typing make checks the validity of every .xml file in
  the xml directory
* every XML file now has a DTD. The files that are pure XHTML documents
  use the on-line XHTML 1.0 Transitional DTD.
* A new DTD mowgli-xhtml1-transitional.dtd added. It is an extension of
  the XHTML1 Transitional DTD to allow markup in the MOWGLI namespace.

22 years agoSome clean-up (unuseful sed removed from Makefile).
Claudio Sacerdoti Coen [Mon, 25 Feb 2002 10:42:44 +0000 (10:42 +0000)]
Some clean-up (unuseful sed removed from Makefile).

22 years agoMore cleanup: the home page is now generated by means of XSLT only.
Claudio Sacerdoti Coen [Sun, 24 Feb 2002 14:36:50 +0000 (14:36 +0000)]
More cleanup: the home page is now generated by means of XSLT only.
(i.e. no more cat ... >> $@)

22 years ago* Rendering of publications improved.
Claudio Sacerdoti Coen [Fri, 22 Feb 2002 18:23:32 +0000 (18:23 +0000)]
* Rendering of publications improved.
* Small typos fixed.
* Some clean-up.

22 years agoWarning changed.
Claudio Sacerdoti Coen [Fri, 22 Feb 2002 17:16:28 +0000 (17:16 +0000)]
Warning changed.

22 years agoNews updated.
Claudio Sacerdoti Coen [Fri, 22 Feb 2002 17:11:23 +0000 (17:11 +0000)]
News updated.

22 years ago* Notion of future and past events/deadlines introduced.
Claudio Sacerdoti Coen [Fri, 22 Feb 2002 16:59:20 +0000 (16:59 +0000)]
* Notion of future and past events/deadlines introduced.
* Approaching deadlines added to the front page. Should we keep them?
* The stylesheet mess done by Luca has been fixed (i.e. removed) ;-)

22 years agoA big commit:
Claudio Sacerdoti Coen [Fri, 22 Feb 2002 16:09:17 +0000 (16:09 +0000)]
A big commit:

1) A serious bug in deadline orderings has been fixed.
2) Events have been splitted (again) into MOWGLI Events and Other Events.
   Both of them have a menu entry.
3) The kick-off MOWGLI Event has been added.

22 years ago* "Older news" link added to the first page.
Claudio Sacerdoti Coen [Fri, 22 Feb 2002 14:16:20 +0000 (14:16 +0000)]
* "Older news" link added to the first page.
* Some more news and events.

22 years ago* Fax added.
Claudio Sacerdoti Coen [Fri, 22 Feb 2002 12:49:23 +0000 (12:49 +0000)]
* Fax added.
* Data for Theresa Velden updated.

22 years agoe-mail address fixed
Claudio Sacerdoti Coen [Fri, 22 Feb 2002 12:33:37 +0000 (12:33 +0000)]
e-mail address fixed

22 years agoMissing informations filled in.
Claudio Sacerdoti Coen [Thu, 21 Feb 2002 18:37:34 +0000 (18:37 +0000)]
Missing informations filled in.

22 years agoContract added to members area.
Claudio Sacerdoti Coen [Thu, 21 Feb 2002 17:40:16 +0000 (17:40 +0000)]
Contract added to members area.

22 years agoM.L. on-line archives are on-line!
Claudio Sacerdoti Coen [Wed, 20 Feb 2002 17:04:53 +0000 (17:04 +0000)]
M.L. on-line archives are on-line!

22 years agoWarning moved to a better position to re-balance the page.
Claudio Sacerdoti Coen [Wed, 20 Feb 2002 16:10:10 +0000 (16:10 +0000)]
Warning moved to a better position to re-balance the page.

22 years agored warning
Luca Padovani [Wed, 20 Feb 2002 15:54:01 +0000 (15:54 +0000)]
red warning

22 years agoThe list of persons in the "By Site" ordering is now also
Claudio Sacerdoti Coen [Tue, 19 Feb 2002 18:01:27 +0000 (18:01 +0000)]
The list of persons in the "By Site" ordering is now also
ordered by member status inside the site. Probably, some
more informations will be added soon (e.g. "site leader",
or "work-package leader" etc.)

22 years agoThe list of persons in alphabetical order is now in the form Surname, Name.
Claudio Sacerdoti Coen [Tue, 19 Feb 2002 17:43:06 +0000 (17:43 +0000)]
The list of persons in alphabetical order is now in the form Surname, Name.
The list ordered by site now also uses qualifications. But the output is
still not satisying to me because alphabetical order + qualifications is
quite bad. I will commit manually generated XML index files with a meaningful
order (from boss to slaves ;-)

22 years agoAdded File arch.gif, generated from .fig by Irene.
Claudio Sacerdoti Coen [Tue, 19 Feb 2002 17:37:03 +0000 (17:37 +0000)]
Added File arch.gif, generated from .fig by Irene.
The margins are not very tight: it will probably need to be redone.

22 years agoProject Objectives added.
Claudio Sacerdoti Coen [Tue, 19 Feb 2002 17:26:50 +0000 (17:26 +0000)]
Project Objectives added.

22 years ago- removed date from menu (useful?)
Luca Padovani [Tue, 19 Feb 2002 17:22:29 +0000 (17:22 +0000)]
- removed date from menu (useful?)
- added date on front page
- added warning for site under construction
- fixed deadline for extreme conference

22 years agomoved some xml files into xml root directory
Luca Padovani [Tue, 19 Feb 2002 16:52:12 +0000 (16:52 +0000)]
moved some xml files into xml root directory
fixed omdoc link from menu

22 years ago- renamed some files
Luca Padovani [Tue, 19 Feb 2002 16:43:01 +0000 (16:43 +0000)]
- renamed some files
- added links to the home page
- changed news on front page

22 years agoBroken links fixed somehow.
Claudio Sacerdoti Coen [Tue, 19 Feb 2002 15:53:11 +0000 (15:53 +0000)]
Broken links fixed somehow.
No more useful files (i.e. Nothing-yet files) removed.

22 years agochanged format of content file, now xhtml
Luca Padovani [Tue, 19 Feb 2002 00:49:02 +0000 (00:49 +0000)]
changed format of content file, now xhtml

22 years agook, here is the last one
Luca Padovani [Tue, 19 Feb 2002 00:24:52 +0000 (00:24 +0000)]
ok, here is the last one

22 years agoas usual forgot some files (mailing list, members' index)
Luca Padovani [Tue, 19 Feb 2002 00:24:25 +0000 (00:24 +0000)]
as usual forgot some files (mailing list, members' index)

22 years ago- added publication index
Luca Padovani [Tue, 19 Feb 2002 00:22:26 +0000 (00:22 +0000)]
- added publication index
- added software index
- added member area

22 years agoNothing yet pages added to fix broken links.
Claudio Sacerdoti Coen [Mon, 18 Feb 2002 19:00:23 +0000 (19:00 +0000)]
Nothing yet pages added to fix broken links.

22 years agoMembers area implemented.
Claudio Sacerdoti Coen [Mon, 18 Feb 2002 18:06:46 +0000 (18:06 +0000)]
Members area implemented.

22 years agohome.html.mid still around in the dependencies: removed
Luca Padovani [Mon, 18 Feb 2002 14:43:09 +0000 (14:43 +0000)]
home.html.mid still around in the dependencies: removed

22 years agoadded some stylesheets for list of people and sorting
Luca Padovani [Sat, 16 Feb 2002 02:24:54 +0000 (02:24 +0000)]
added some stylesheets for list of people and sorting

22 years ago- list of people
Luca Padovani [Sat, 16 Feb 2002 02:23:33 +0000 (02:23 +0000)]
- list of people
- fixes here and there

22 years agoEnglish errors fixed.
Claudio Sacerdoti Coen [Fri, 15 Feb 2002 14:57:17 +0000 (14:57 +0000)]
English errors fixed.

22 years agoEnglish error fixed.
Claudio Sacerdoti Coen [Fri, 15 Feb 2002 14:55:48 +0000 (14:55 +0000)]
English error fixed.

22 years agoMany improvements:
Claudio Sacerdoti Coen [Fri, 15 Feb 2002 14:37:10 +0000 (14:37 +0000)]
Many improvements:

1) a print_interval template has been put in common.xsl
2) events are now sorted by starting date
3) colors are used to differentiate between submissions, notifications,
   and so on. Is this an improvement? ;-|

22 years agoEhhm. Order ==> Sort ;-)
Claudio Sacerdoti Coen [Fri, 15 Feb 2002 13:46:29 +0000 (13:46 +0000)]
Ehhm. Order ==> Sort ;-)

22 years agoA new wonderful page that shows the deadlines ordered by date.
Claudio Sacerdoti Coen [Fri, 15 Feb 2002 13:44:09 +0000 (13:44 +0000)]
A new wonderful page that shows the deadlines ordered by date.
Moreover, I have added a new set of functions in commond.xsl
to pretty-print in English a date encoded as 20020218 (that is
easy to sort!).

22 years agoEvents added.
Claudio Sacerdoti Coen [Fri, 15 Feb 2002 11:47:30 +0000 (11:47 +0000)]
Events added.

22 years agoproject_summary.html added, but not linked yet.
Claudio Sacerdoti Coen [Fri, 15 Feb 2002 09:56:41 +0000 (09:56 +0000)]
project_summary.html added, but not linked yet.

22 years agotwo column layout. Better or worse?
Luca Padovani [Fri, 15 Feb 2002 01:19:50 +0000 (01:19 +0000)]
two column layout. Better or worse?

22 years ago- main page now generated automatically
Luca Padovani [Thu, 14 Feb 2002 21:55:02 +0000 (21:55 +0000)]
- main page now generated automatically
- latest news included in main page
- improved layout
- changed colours
- fix for IE (dismissed blockquote everywhere)

22 years agoRendering of links to composite sites (i.e. aei) is now OK.
Claudio Sacerdoti Coen [Thu, 14 Feb 2002 18:50:46 +0000 (18:50 +0000)]
Rendering of links to composite sites (i.e. aei) is now OK.

22 years agoFixed broken links to IST images.
Claudio Sacerdoti Coen [Thu, 14 Feb 2002 17:19:57 +0000 (17:19 +0000)]
Fixed broken links to IST images.

22 years ago----------------------------------------------------------------------
Irene Schena [Thu, 14 Feb 2002 15:19:13 +0000 (15:19 +0000)]
----------------------------------------------------------------------
Added Files:
project_summary.html: chapter 1 MOWGLI proposal
----------------------------------------------------------------------

22 years agoOMDoc link fixed.
Claudio Sacerdoti Coen [Thu, 14 Feb 2002 10:07:18 +0000 (10:07 +0000)]
OMDoc link fixed.

22 years agoas usual...
Luca Padovani [Wed, 13 Feb 2002 20:01:44 +0000 (20:01 +0000)]
as usual...

22 years agopartial implementation of IST logo. Deep pages have the wrong reference
Luca Padovani [Wed, 13 Feb 2002 20:00:53 +0000 (20:00 +0000)]
partial implementation of IST logo. Deep pages have the wrong reference

22 years ago- install/uninstall targets added
Luca Padovani [Wed, 13 Feb 2002 19:17:44 +0000 (19:17 +0000)]
- install/uninstall targets added
- link to personal page now with target="_top"

22 years agoMore information added.
Claudio Sacerdoti Coen [Wed, 13 Feb 2002 18:42:40 +0000 (18:42 +0000)]
More information added.

22 years agoProject Management template added.
Claudio Sacerdoti Coen [Wed, 13 Feb 2002 18:33:52 +0000 (18:33 +0000)]
Project Management template added.
Not integrated in the site yet.
Maybe it will become a bunch of XML files once the management groups
will be formed (i.e. during the kick-off).

22 years agoBug fixed: the top directory has a different (relative) path depending on
Claudio Sacerdoti Coen [Wed, 13 Feb 2002 17:58:16 +0000 (17:58 +0000)]
Bug fixed: the top directory has a different (relative) path depending on
the file directory.

22 years agoQualification now always used before name and surname.
Claudio Sacerdoti Coen [Wed, 13 Feb 2002 17:49:10 +0000 (17:49 +0000)]
Qualification now always used before name and surname.

22 years agoMore uniform layout.
Claudio Sacerdoti Coen [Wed, 13 Feb 2002 17:44:13 +0000 (17:44 +0000)]
More uniform layout.

22 years agoDeliverables are now described in XML.
Claudio Sacerdoti Coen [Wed, 13 Feb 2002 17:21:24 +0000 (17:21 +0000)]
Deliverables are now described in XML.
The information comes from the table in Sect. 9.4 of the proposal.
Should we try to reproduce that table or is it uninteresting?

22 years ago- more uniform layout
Luca Padovani [Wed, 13 Feb 2002 17:18:09 +0000 (17:18 +0000)]
- more uniform layout
- a few fixes

22 years agoAnother part of the proposal encoded.
Claudio Sacerdoti Coen [Wed, 13 Feb 2002 16:25:04 +0000 (16:25 +0000)]
Another part of the proposal encoded.

22 years agoDeliverables added.
Claudio Sacerdoti Coen [Wed, 13 Feb 2002 15:55:21 +0000 (15:55 +0000)]
Deliverables added.
The idea is that for every deliverable we have an XML file.
When we write a deliverable, we encode it in XML in the same page,
we detect this in XSLT and we create the hyperlink to another page
that renders it.

22 years agoWork-packages DTD improved (tasks now have an identifier and a name).
Claudio Sacerdoti Coen [Wed, 13 Feb 2002 14:20:35 +0000 (14:20 +0000)]
Work-packages DTD improved (tasks now have an identifier and a name).
Better rendering of the work-packages index (the tasks are shown).

22 years agoDTD improved (and committed) with new elements "task" and "tasks".
Claudio Sacerdoti Coen [Wed, 13 Feb 2002 13:55:55 +0000 (13:55 +0000)]
DTD improved (and committed) with new elements "task" and "tasks".

22 years agoOrdered list (ol) replaced by a table to be able to number packages
Claudio Sacerdoti Coen [Wed, 13 Feb 2002 12:20:17 +0000 (12:20 +0000)]
Ordered list (ol) replaced by a table to be able to number packages
starting from 0. ;-(

22 years agoThe Work-Packages index page is no more a static HTML page, but it is
Claudio Sacerdoti Coen [Wed, 13 Feb 2002 12:07:15 +0000 (12:07 +0000)]
The Work-Packages index page is no more a static HTML page, but it is
automatically generated from xml/work-packages/index.xml (that will be
also useful in the future).

22 years agoHyperlink to the author's MOWLI home page added.
Claudio Sacerdoti Coen [Wed, 13 Feb 2002 11:29:54 +0000 (11:29 +0000)]
Hyperlink to the author's MOWLI home page added.

22 years agoWrong cut & paste from Herbelin's data.
Claudio Sacerdoti Coen [Wed, 13 Feb 2002 11:29:39 +0000 (11:29 +0000)]
Wrong cut & paste from Herbelin's data.

22 years ago* news.xml was not valid. DTD fixed.
Claudio Sacerdoti Coen [Wed, 13 Feb 2002 11:27:47 +0000 (11:27 +0000)]
* news.xml was not valid. DTD fixed.
* DTD Improved: who is now a pointer to the author's MOWGLI home page.

22 years ago*** empty log message ***
Luca Padovani [Wed, 13 Feb 2002 02:35:22 +0000 (02:35 +0000)]
*** empty log message ***

22 years ago- added common stylesheet
Luca Padovani [Wed, 13 Feb 2002 02:34:44 +0000 (02:34 +0000)]
- added common stylesheet
- preliminary support for news
- modified menu
- simplified makefile

22 years ago.cvsignore added where useful
Claudio Sacerdoti Coen [Tue, 12 Feb 2002 18:22:04 +0000 (18:22 +0000)]
.cvsignore added where useful

22 years agoInitial commit of the XML/XSLT stuff.
Claudio Sacerdoti Coen [Tue, 12 Feb 2002 18:11:02 +0000 (18:11 +0000)]
Initial commit of the XML/XSLT stuff.
The generated HTML files are not integrated with the rest of the site, yet.

22 years agothis is the first commit for the mowgli website.
Luca Padovani [Mon, 11 Feb 2002 17:49:44 +0000 (17:49 +0000)]
this is the first commit for the mowgli website.
The structure is temporary, as are all the files in there now.

22 years agoFirst commit toward 0.3.0.
Claudio Sacerdoti Coen [Wed, 6 Feb 2002 15:06:33 +0000 (15:06 +0000)]
First commit toward 0.3.0.
Instead of minidom, gdome and gmetadom are now used.

22 years agoUntil Garrigue puts a META file in lablgtk, we can use this one.
Claudio Sacerdoti Coen [Wed, 6 Feb 2002 14:52:29 +0000 (14:52 +0000)]
Until Garrigue puts a META file in lablgtk, we can use this one.

22 years agoDue to a syntax error, theories in MathML Presentation were broken.
Claudio Sacerdoti Coen [Tue, 5 Feb 2002 15:03:34 +0000 (15:03 +0000)]
Due to a syntax error, theories in MathML Presentation were broken.

22 years agoporting to gdome2 started
Luca Padovani [Tue, 5 Feb 2002 02:44:56 +0000 (02:44 +0000)]
porting to gdome2 started

22 years ago----------------------------------------------------------------------
Irene Schena [Fri, 1 Feb 2002 17:08:31 +0000 (17:08 +0000)]
----------------------------------------------------------------------
Modified Files:
1) arith.xsl mmlctop.xsl-0.14 mmlextension.xsl xslt_index.txt: added
mml presentation for (dis)equalities and new proof elements and some
additions for Algebra elements
Added Files:
2) mmlnotation.xsl: mml presentation notations
----------------------------------------------------------------------

22 years agoPorted to ocaml-3.04
Claudio Sacerdoti Coen [Tue, 29 Jan 2002 14:55:44 +0000 (14:55 +0000)]
Ported to ocaml-3.04

22 years agoPorted to ocaml-3.04.
Claudio Sacerdoti Coen [Tue, 29 Jan 2002 14:44:29 +0000 (14:44 +0000)]
Ported to ocaml-3.04.

22 years agoBug fix: destdir for mlminidom installation is now guessed by
Stefano Zacchiroli [Mon, 21 Jan 2002 14:36:53 +0000 (14:36 +0000)]
Bug fix: destdir for mlminidom installation is now guessed by
configure

22 years ago- Vanity: added .... me to the copyright file as author :-P
Stefano Zacchiroli [Sun, 20 Jan 2002 15:24:22 +0000 (15:24 +0000)]
- Vanity: added  .... me to the copyright file as author :-P

22 years ago- Minor fix: includes upstream changelog only if it have size
Stefano Zacchiroli [Sun, 20 Jan 2002 15:23:52 +0000 (15:23 +0000)]
- Minor fix: includes upstream changelog only if it have size
  greater than zero.

22 years agoAdded "-destdir" argument to "ocamlfind install" in "install:"
Stefano Zacchiroli [Sun, 20 Jan 2002 14:46:32 +0000 (14:46 +0000)]
Added "-destdir" argument to "ocamlfind install" in "install:"
target of Makefile.in, ease creation of debian package and non
standard installation.