2
===================================================================
6
$include{$sect} .= <<EOT;
7
The full documentation for
9
-is maintained as a Texinfo manual. If the
10
+is maintained as a Texinfo manual in the
16
Index: b/docs/Makefile.am
17
===================================================================
18
--- a/docs/Makefile.am
19
+++ b/docs/Makefile.am
21
$(SHELL) $(srcdir)/$(SRC2TEXI) $(srcdir) $< $@
24
-$(srcdir)/grub.8: ../grub/grub $(srcdir)/$(HELP2MAN)
25
+$(srcdir)/grub.8: ../grub/grub $(srcdir)/$(HELP2MAN) $(srcdir)/grub.8.additions
26
$(PERL) $(srcdir)/$(HELP2MAN) --name="the grub shell" \
27
- --section=8 --output=$@ $<
28
+ --section=8 --include=$@.additions --output=$@ $<
30
-$(srcdir)/grub-install.8: ../util/grub-install $(srcdir)/$(HELP2MAN)
31
+$(srcdir)/grub-install.8: ../util/grub-install $(srcdir)/$(HELP2MAN) $(srcdir)/grub-install.8.additions
33
$(PERL) $(srcdir)/$(HELP2MAN) --name="install GRUB on your drive" \
34
- --section=8 --output=$@ $<
35
+ --section=8 --include=$@.additions --output=$@ $<
37
$(srcdir)/mbchk.1: ../util/mbchk $(srcdir)/$(HELP2MAN)
38
$(PERL) $(srcdir)/$(HELP2MAN) \
39
Index: b/docs/grub.8.additions
40
===================================================================
42
+++ b/docs/grub.8.additions
46
+.BR grub-install (8).
47
Index: b/docs/grub-install.8.additions
48
===================================================================
50
+++ b/docs/grub-install.8.additions