[PPL-devel] [GIT] ppl/ppl(master): Simplified INPUT tag values in devref manuals' Doxygen configuration files.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sat Mar 31 13:58:31 2012 +0200

Simplified INPUT tag values in devref manuals' Doxygen configuration files.
Avoid most of the explicit listing of source files, favouring a much smaller
number of file name patterns.

---

 doc/devref.doxyconf-html.in  |  357 +++---------------------------------------
 doc/devref.doxyconf-latex.in |  352 +++--------------------------------------
 2 files changed, 50 insertions(+), 659 deletions(-)

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