projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e159545) | patch
Fix gccbrig documentation build
authorThomas Schwinge <thomas@codesourcery.com>
Sun, 17 Sep 2017 12:11:40 +0000 (14:11 +0200)
committerThomas Schwinge <tschwinge@gcc.gnu.org>
Sun, 17 Sep 2017 12:11:40 +0000 (14:11 +0200)
commit7ac3ed134b4ad4a0e82ed1acc062e694128f103b
tree07c80b2f75437477a31fa412598b08cac68dad5btree
parente15954568ed30407ebb25e69d5900d5925fad5edcommit | diff
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
gcc/brig/ChangeLog diff | blob | history
gcc/brig/Make-lang.in diff | blob | history
gcc/brig/gccbrig.texi [new file with mode: 0644] blob