Browse Source

doc: Distribute a modern version of texinfo.tex with the docs

* doc/texinfo.tex: Ship a more recent texinfo.tex, from texinfo 6.1, so we
  don't have to worry about that.  E.g., this should allow UTF-8 unicode
  chars to be used directly in the text.
* doc/Makefile.am: Add previous to EXTRA_DIST
Paul Jakma 3 years ago
parent
commit
e84e4d3d2d
3 changed files with 11200 additions and 2 deletions
  1. 0 1
      doc/.gitignore
  2. 2 1
      doc/Makefile.am
  3. 11198 0
      doc/texinfo.tex

+ 0 - 1
doc/.gitignore

@@ -6,7 +6,6 @@ quagga.info-*
 zebra.html
 defines.texi
 version.texi
-texinfo.tex
 quagga.html
 quagga.info
 *.pdf

+ 2 - 1
doc/Makefile.am

@@ -112,7 +112,8 @@ EXTRA_DIST = BGP-TypeCode draft-zebra-00.ms draft-zebra-00.txt \
 	ripngd.8 pimd.8 vtysh.1 watchquagga.8 zebra.8 \
 	mpls/ChangeLog.opaque.txt mpls/cli_summary.txt \
 	mpls/opaque_lsa.txt mpls/ospfd.conf \
-	$(figures_sources) $(figures_png) $(figures_txt)
+	$(figures_sources) $(figures_png) $(figures_txt) \
+	texinfo.tex
 
 draft-zebra-00.txt: draft-zebra-00.ms
 	groff -T ascii -ms $< > $@

File diff suppressed because it is too large
+ 11198 - 0
doc/texinfo.tex