From 19d725b869882a08834367cb11b302d9a2f7b6e7 Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Fri, 23 Sep 2022 13:05:16 +0300 Subject: [PATCH] New make target: make info --- Makefile | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index a2bb127..ca0f96d 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,3 @@ -CURRENT_DIR := $(patsubst %/,%,$(dir $(abspath $(lastword $(MAKEFILE_LIST))))) - BASENAME = sweep UNAME_S := $(shell uname -s) @@ -30,7 +28,7 @@ CFLAGS += -Wextra CFLAGS += -O2 CFLAGS += -I$(SWIPLBASE)/include -.PHONY: clean all check +.PHONY: clean all check info all: $(TARGET) @@ -43,6 +41,7 @@ $(TARGET): $(OBJECT) clean: rm -f $(TARGET) $(OBJECT) $(BASENAME).info $(BASENAME).texi $(BASENAME).html +info: $(BASENAME).info $(BASENAME).info:: README.org $(EMACS) -Q --batch --eval "(require 'ox-texinfo)" \ --eval "(with-current-buffer (find-file \"README.org\") (org-export-to-file (quote texinfo) \"$@\" nil nil nil nil nil (quote org-texinfo-compile)))" -- 2.39.2