Fix info top page (#165)

* Fix info top page * Parametrize texi top title
editorconfig · May 9, 2018 · e314a7c · e314a7c
1 parent 1614f17
commit e314a7c
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -1,5 +1,7 @@
 # -*- Makefile -*-
 
+TEXI_TOP := EditorConfig Emacs Plugin
+
 EMACS = emacs
 PANDOC = pandoc
 
@@ -32,7 +34,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
@@ -9,7 +9,7 @@
 @paragraphindent 0
 @end ifnottex
 @node Top
-@top Top
+@top EditorConfig Emacs Plugin
 
 @menu
 * EditorConfig Emacs Plugin::