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::