diff --git a/docs/GNUmakefile b/docs/Makefile
similarity index 100%
rename from docs/GNUmakefile
rename to docs/Makefile