diff options
author | Arun Isaac | 2022-01-04 23:36:35 +0530 |
---|---|---|
committer | Arun Isaac | 2022-01-04 23:40:35 +0530 |
commit | 910f7405950a0aef98e4c58594867675ba48213b (patch) | |
tree | a85adb65a6010034c4a85eca72c2561fd0d62b1d /Makefile | |
parent | e2e437acebca2946df6978d902542fe845d8de1d (diff) | |
download | kolam-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-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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 |