diff options
| author | Philip Kaludercic <philipk@posteo.net> | 2022-04-18 14:47:43 +0200 |
|---|---|---|
| committer | Philip Kaludercic <philipk@posteo.net> | 2022-04-18 14:47:43 +0200 |
| commit | ebac4cf1b0563c692b0446f137909e72b8536aec (patch) | |
| tree | 92677e89f8f9286b21d85334e38df7f1aed372a5 | |
| parent | 49ab00de117039a454e70f1fada4f03377c86443 (diff) | |
Disable compat.texi rule in Makefile
This is temporarily necessary while compat.texi is bundled in the
repository.
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -26,8 +26,8 @@ clean: .el.elc: $(EMACS) -Q --batch -L . -f batch-byte-compile $^ -compat.texi: MANUAL - $(EMACS) -Q --batch $< -f org-texinfo-export-to-texinfo --kill +# compat.texi: MANUAL +# $(EMACS) -Q --batch $< -f org-texinfo-export-to-texinfo --kill compat.info: compat.texi $(MAKEINFO) $< |