]> git.tuebingen.mpg.de Git - dss.git/commitdiff
Merge topic branch t/build into pu
authorAndre Noll <maan@tuebingen.mpg.de>
Mon, 6 May 2024 20:31:15 +0000 (22:31 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Mon, 6 May 2024 20:31:15 +0000 (22:31 +0200)
* The build is quiet by default, use V=1 to get old behaviour.
* Create compressed man page (dss.1.gz).
* dss -V now shows the git version.

* refs/heads/t/build:
  build: Compress the man page.
  Avoid rebuilds of lopsub-generated files.
  build: Use variables for lobsubgen and rm commands.
  Make the build quiet by default.
  build: Create dependencies on the fly and implement dynamic versioning


Trivial merge