Module: ppl/ppl Branch: master Commit: 557e9ea1f7d737333b6f5025e03497818223f2f5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=557e9ea1f7d73...
Author: Enea Zaffanella zaffanella@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=557e9ea1f...