[PPL-devel] fixup doc behavior

[Roberto Bagnara]

Mike Frysinger wrote:
> the configure.ac has this line:
> # Installation directories.
> AC_SUBST([docdir], ['${datadir}/doc/ppl'])
> 
> this is pointless as autoconf itself already sets up docdir and exports it 
> with this default value.  plus, this setting breaks customization with the 
> configure --docdir option.
> 
> the fix is easy: just delete those two lines from configure.ac

Thanks Mike.  This will be fixed in PPL 0.10.1.
All the best,

    Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it