Move config.mk into Makefile, and delete config.mk.

config.mk shall now contain user-specific configurations, and thus is now ignored.
2026-01-25 12:38:08 +01:00
parent eda3495acf
commit c23f9dfe2e
3 changed files with 20 additions and 40 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -12,6 +12,7 @@

 # Ignore /bin/ directory
 /bin/
+/config.mk

 # Unignore specific files.
 !.gitignore