diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile | 2 | ||||
| -rw-r--r-- | doc/rt-liber.texinfo (renamed from doc/rt-liberation.texinfo) | 4 | 
2 files changed, 3 insertions, 3 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 $< diff --git a/doc/rt-liberation.texinfo b/doc/rt-liber.texinfo index 9ffa110..b8cb1f5 100644 --- a/doc/rt-liberation.texinfo +++ b/doc/rt-liber.texinfo @@ -1,6 +1,6 @@  \input texinfo   @c -*-texinfo-*-  @c %**start of header -@setfilename rt-liberation.info +@setfilename rt-liber.info  @settitle The rt-liberation Manual  @c %**end of header @@ -9,7 +9,7 @@  @dircategory Emacs  @direntry -* rt-liberation: (rt-liberation).       Emacs Interface to RT +* rt-liberation: (rt-liber).    Emacs Interface to RT  @end direntry | 
