diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile b/Makefile index be43eb1..5fa3c06 100644 --- a/Makefile +++ b/Makefile @@ -17,6 +17,8 @@ # License along with kolam. If not, see # <http://www.gnu.org/licenses/>. +include Makefile.include + GUILE = guile GUILD = guild EMACS = emacs @@ -40,4 +42,4 @@ website/index.html: README.org build-aux/build-home-page.el .PHONY: clean clean: - rm -f website/index.html + rm -f Makefile.include website/index.html |