* create dirs ${prefix}/share/doc/GiNaC/{tutorial,reference} only if
authorRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Thu, 1 Nov 2001 17:31:55 +0000 (17:31 +0000)
committerRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Thu, 1 Nov 2001 17:31:55 +0000 (17:31 +0000)
commit58fb0e5059bd06891ce8ffa65def6e98bace751c
tree06a22e54da41ef2040a3ee77c014e9673aabde41
parentb58938b007e19099e5d6f2a610e9a4428f0afced
* create dirs ${prefix}/share/doc/GiNaC/{tutorial,reference} only if
  non-empty.
doc/reference/Makefile.am
doc/tutorial/Makefile.am