/doc/

• ../
• .gitignore
• Makefile.am
• README.doc
• definitions.dox
• devref-language-interface.doxyconf.in
• devref-language-interface.tex
• devref.doxyconf-html.in
• devref.doxyconf-latex.in
• devref.tex
• fdl.dox
• fdl.tex
• fdl.txt
• gpl.dox
• gpl.tex
• gpl.txt
• interfaces-html.sed
• interfaces-latex.sed
• libppl.3
• libppl_c.3
• ppl-config.1
• ppl-config_extra_man_text
• ppl.sty
• user-language-interface.doxyconf.in
• user-language-interface.tex
• user.doxyconf-html.in
• user.doxyconf-latex.in
• user.tex