Skip to content
Commit 25b2c6df authored by Stefano Zacchiroli's avatar Stefano Zacchiroli Committed by Romain Bignon
Browse files

rename Makefile -> build.mk to avoid spurious build attempts

rationale: proper build needs to go through setup.py anyhow
by renaming Makefile to a less common name, we avoid people building by mistakes
only the makefile-driven part.

This also helps distribution heuristics when guessing how to auto-build
packages (e.g. Debian dh_auto_build)
parent 11618743
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