Hi, thanks for your quick replies. By reading your comment, I realized that I should try in a testing chroot environment. So I tried: I can compose the two demos in testing.
Meanwhile, I noticed that the upstream source ball contains some .git* files. Otherwise, I think that distributing the demo material as-is is a very good idea. If you find the video too heavy, you can replace it with a shorter version of it. The Makefile files are simple and illustrative. Personally, I not a huge fan of latexmk, and write make own GNUmakefile. Best wishes, Jerome -- Jerome BENOIT | calculus+at-rezozer^dot*net https://qa.debian.org/developer.php?login=calcu...@rezozer.net AE28 AE15 710D FF1D 87E5 A762 3F92 19A6 7F36 C68B