gccint.texi: add user experience guidelines
commitc165544316a6e6832e1bd6a822abfbfd406d614e
authordmalcolm <dmalcolm@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 19 Oct 2018 19:50:02 +0000 (19 19:50 +0000)
committerdmalcolm <dmalcolm@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 19 Oct 2018 19:50:02 +0000 (19 19:50 +0000)
tree8f71613320dac04f2964783c9ea1675b39227969
parent4a0fb313c2ac38ec7cbe0cb75015af74c0770639
gccint.texi: add user experience guidelines

gcc/ChangeLog:
* Makefile.in (TEXI_GCCINT_FILES): Add ux.texi.
* doc/gccint.texi: Include ux.texi and use it in top-level menu.
* doc/ux.texi: New file.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@265322 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/Makefile.in
gcc/doc/gccint.texi
gcc/doc/ux.texi [new file with mode: 0644]