]> git.tuebingen.mpg.de Git - dss.git/commit
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)
commit7fd79523e75863e26dffc568c140818e77ed6b74
tree426609b824951a3f5e6aa193f46892fdb0138442
parentffc8c4a28f52cfb0e617ec3c6f3958cd994e13b6
parent625418a82dd5dcb97025d50dcbf54163bc41c9d4
Merge topic branch t/build into pu

* 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