aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/doc/Makefile
AgeCommit message (Expand)AuthorFilesLines
2019-08-21[Ada] doc/Makefile: automatically create doc/share/_staticJoel Brobecker1-5/+9
2018-01-11[Ada] Add Sphinx option -W to treat warnings as errorsBen Brosgol1-1/+1
2017-09-08conf.py, [...]: Improve support for Ada highlighting.Arnaud Charlet1-1/+0
2016-04-21gnat_rm.texi, [...]: Update doc.Arnaud Charlet1-9/+13
2015-02-22Makefile: postprocess texinfo files to update @dircategory and update texi fi...Arnaud Charlet1-0/+1
2015-02-20gnat_rm.texi, [...]: Now automatically generated from sphinx in the doc direc...Arnaud Charlet1-0/+79