diff options
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile index a62173a..b79001b 100644 --- a/Makefile +++ b/Makefile @@ -25,7 +25,7 @@ html: makeinfo --html manual.tex info: - makeinfo manual.tex + makeinfo manual.tex || gmakeinfo manual.tex uninstall: rm -rf $(SCRIPT_DIR)/../.. |