tree eb74d24a7706918882248fcbb72fc872870d384e
parent 2a3e4ee917e1fb1f28e6b061f98e9ca5ff8c8eaf
author Marc Kupietz <kupietz@ids-mannheim.de> 1713077831 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1713077831 +0200

Makefile: handle arbitrarily long lists of documents