Unverified Commit 629255f3 authored by Dimitri Fontaine's avatar Dimitri Fontaine Committed by GitHub
Browse files

Refrain from removing the version file in make clean. (#125)

The docker build does `make clean install` and we want to keep the version
file around in that environment. Have a new `make maintainer-clean` entry to
remove the version file.
parent 6bcf3f26
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment