diff -r dd180a2be151 -r 9c9e7f91f4f3 Makefile --- a/Makefile Mon Feb 17 13:44:36 2020 +0200 +++ b/Makefile Sun Feb 23 14:45:23 2020 +0200 @@ -65,7 +65,7 @@ ################################################################ # Proj dirs/files. -EL_FILES := $(wildcard *.el) +EL_FILES := $(filter-out %.dev.el,$(wildcard *.el)) ELC_FILES := $(EL_FILES:.el=.elc) RST_FILES := $(wildcard *.rst)