diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2017-09-17 14:11:40 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gcc.gnu.org> | 2017-09-17 14:11:40 +0200 |
| commit | 7ac3ed134b4ad4a0e82ed1acc062e694128f103b (patch) | |
| tree | 07c80b2f75437477a31fa412598b08cac68dad5b /gcc/brig/gccbrig.texi | |
| parent | e15954568ed30407ebb25e69d5900d5925fad5ed (diff) | |
| download | gcc-7ac3ed134b4ad4a0e82ed1acc062e694128f103b.zip gcc-7ac3ed134b4ad4a0e82ed1acc062e694128f103b.tar.gz gcc-7ac3ed134b4ad4a0e82ed1acc062e694128f103b.tar.bz2 | |
Fix gccbrig documentation build
gcc/brig/
* Make-lang.in (GO_TEXI_FILES): Rename to...
(BRIG_TEXI_FILES): ... this.
(doc/gccbrig.info, doc/gccbrig.dvi, doc/gccbrig.pdf, brig.info)
(brig.srcinfo, brig.man, brig.srcman, brig.install-man)
($(DESTDIR)$(man1dir)/$(GCCBRIG_INSTALL_NAME)$(man1ext)):
Uncomment/enable targets.
(gccbrig.pod): New target.
* gccbrig.texi: New file.
From-SVN: r252893
Diffstat (limited to 'gcc/brig/gccbrig.texi')
| -rw-r--r-- | gcc/brig/gccbrig.texi | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/brig/gccbrig.texi b/gcc/brig/gccbrig.texi new file mode 100644 index 0000000..9636c00 --- /dev/null +++ b/gcc/brig/gccbrig.texi @@ -0,0 +1,5 @@ +\input texinfo @c -*-texinfo-*- +@setfilename gccbrig.info +@settitle The GNU BRIG Compiler + +@bye |