branch: scratch/editorconfig-cc
commit b9fb9e4484315398d8b6b8f58b5e631a0bc50c33
Author: 10sr <8.slas...@gmail.com>
Commit: Stefan Monnier <monn...@iro.umontreal.ca>
Fix info top page (#165)
* Fix info top page
* Parametrize texi top title
---
Makefile | 5 ++++-
doc/editorconfig.texi | 2 +-
2 files changed, 5 insertions(+), 2 deletions(-)
diff --git a/Makefile b/Makefile
index 879533feb1..0808bd842d 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,7 @@
# -*- Makefile -*-
+TEXI_TOP := EditorConfig Emacs Plugin
+
EMACS = emacs
PANDOC = pandoc
@@ -25,7 +27,8 @@ doc/editorconfig.texi: README.md doc/header.txt
mkdir -p doc
tail -n +4 $< | $(PANDOC) -s -f markdown -t texinfo -o $@.body
cat doc/header.txt $@.body >$@
-
+ sed -i.bak -e 's/^@top .*/@top ${TEXI_TOP}/' $@
+ rm -f $@.body $@.bak
test: test-ert test-core test-metadata $(OBJS)
$(EMACS) $(BATCHFLAGS) -l editorconfig.el
diff --git a/doc/editorconfig.texi b/doc/editorconfig.texi
index 4744238ee4..4a000f25a6 100644
--- a/doc/editorconfig.texi
+++ b/doc/editorconfig.texi
@@ -9,7 +9,7 @@
@paragraphindent 0
@end ifnottex
@node Top
-@top Top
+@top EditorConfig Emacs Plugin
@menu
* EditorConfig Emacs Plugin::
