[PPL-devel] Install from git

[Stefan Schupp]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Hi,

due to a new setup I tried to install PPL from git. There seem to be
some errors concerning the documentation:

mkdir -p -- /usr/local/share/doc/ppl/ppl-user-1.2pre1-html
gzip: ./ppl-user-1.2pre1-html.tar.gz: No such file or directory
tar: This does not look like a tar archive
tar: Exiting with failure status due to previous errors
/usr/bin/install: cannot stat ‘ppl-user-1.2pre1-html/*’: No such file or
directory
mkdir -p -- /usr/local/share/doc/ppl/ppl-user-c-interface-1.2pre1-html
gzip: ./ppl-user-c-interface-1.2pre1-html.tar.gz: No such file or
directory
tar: This does not look like a tar archive
tar: Exiting with failure status due to previous errors
/usr/bin/install: cannot stat ‘ppl-user-c-interface-1.2pre1-html/*’: No
such file or directory
make[2]: *** [install-html] Error 1

I figured out to install PPL, this can be considered a report :).

Best regards,
Stefan

- -- 
Stefan Schupp M.Sc.
RWTH Aachen University
Computer Science Department, Informatik 2
D-52056 Aachen, Germany
http://www-i2.informatik.rwth-aachen.de/i2/schupp/
Tel.: +49 241 80 21243
-----BEGIN PGP SIGNATURE-----
Version: GnuPG/MacGPG2 v2.0.22 (Darwin)
Comment: GPGTools - https://gpgtools.org

iQEcBAEBCgAGBQJUI8yLAAoJEFPSi5GyofDjCVMIAKlpsxU7vcDG0fWTUbqHwivG
UjSgBpUAX0G4uKdXu2pGpH96S66qiRq+8SEQRabUXnVFQIOy5BaLGpvfHnoaodvj
10lPiiDiHe4w3iRk2oTqvmxE6hzFRDMCAXhNkacuT0VwdgBS1uwji4rqNlKdSqP0
gaiDG0rIPUOE4ElrAsaXqEaPW4HMhq0vlFIGmN+49UhjsHUoTfFlDWwFLd/EBXsK
wkmLo75VnxLhgyevzSS9JAN8Y+eiXOmSJ6HiNmiQrDJqpHRGBo+YSLmXPSaKdhJ+
/lLKRlaxwmcrbTw+9GSQgPhwNMpr0w2B/UEBPiPdMnFMnXDfJmwf3zELlnlPB5w=
=1P7O
-----END PGP SIGNATURE-----