diff options
| author | Yoni Rabkin <yoni@rabkins.net> | 2020-08-11 09:15:54 -0400 |
|---|---|---|
| committer | Yoni Rabkin <yoni@rabkins.net> | 2020-08-11 09:15:54 -0400 |
| commit | 499326bcad47365a8883a515415bc0ca2571a3ea (patch) | |
| tree | 63930e350f7188816bd5c02ad5cda5f22069b257 /doc/Makefile | |
| parent | 41d140c8bd2c14a724f798164e9c206bf865e528 (diff) | |
fix formatting in dir file
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index dd20ede..a9d6a96 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,7 +1,7 @@ # Don't delete if make is interrupted .PRECIOUS: %.info %.html -all: rt-liberation.info +all: rt-liber.info %.info: %.texinfo makeinfo --no-split $< |