[PPL-devel] [GIT] ppl/ppl(master): Reorganized the generation of Prolog interface manuals to avoid duplication .

[Enea Zaffanella]

Module: ppl/ppl
Branch: master
Commit: 557e9ea1f7d737333b6f5025e03497818223f2f5
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=557e9ea1f7d737333b6f5025e03497818223f2f5

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Oct 10 16:03:28 2011 +0200

Reorganized the generation of Prolog interface manuals to avoid duplication.

---

 doc/Makefile.am                                    |   37 +-
 interfaces/Prolog/.gitignore                       |    2 +-
 interfaces/Prolog/Makefile.am                      |   25 +-
 interfaces/Prolog/Prolog_configured_interface.dox  |   63 +
 interfaces/Prolog/Prolog_interface.dox             | 2073 +-------------------
 interfaces/Prolog/Prolog_interface_compilation.dox |   51 +
 ...olog_sysdep_dox => Prolog_interface_sysdep.dox} |   76 +-
 ..._sysindep_dox => Prolog_interface_sysindep.dox} |  391 ++++-
 .../Prolog/Prolog_interface_sysindep_domains.dox   |  914 +++++++++
 .../Prolog/ppl_interface_generator_prolog_dox.m4   |   90 +-
 10 files changed, 1467 insertions(+), 2255 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=557e9ea1f7d737333b6f5025e03497818223f2f5