Hi,

Whilst working on the Reproducible Builds effort [0], we noticed that
lmarbles could not be built reproducibly.

This is because it shipped a number of Makefile, Makefile.in and
Makefile.am files as part of the manual/ directory. The Makefile
file was nondetermistic in that it varied on the current shell.

As the Makefile apparatus in this directory is not useful at runtime,
the attached patch simply prevents its installation into the binary
.deb.

 [0] https://reproducible-builds.org/


Regards,

Hi,

Thank you for noticing this.

Unfortunately the whole manual is now installed twice.

* The raw version with the Makefile
* The build version without the Makefile is installed at a wrong location

I'll look at this soon