summary refs log tree commit diff
path: root/Makefile
diff options
context:
space:
mode:
authorArun Isaac2022-01-04 23:36:35 +0530
committerArun Isaac2022-01-04 23:40:35 +0530
commit910f7405950a0aef98e4c58594867675ba48213b (patch)
treea85adb65a6010034c4a85eca72c2561fd0d62b1d /Makefile
parente2e437acebca2946df6978d902542fe845d8de1d (diff)
downloadkolam-910f7405950a0aef98e4c58594867675ba48213b.tar.gz
kolam-910f7405950a0aef98e4c58594867675ba48213b.tar.lz
kolam-910f7405950a0aef98e4c58594867675ba48213b.zip
configure: Generate Makefile.include.
* configure.scm (option-proc, unrecognized-option-proc,
unrecognized-argument-proc): New functions.
(processed-args): New variable.
Generate Makefile.include.
* Makefile: Include Makefile.include.
(clean): Clean Makefile.include.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
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