This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [Ada] convert GNAT doc to sphinx
- From: Arnaud Charlet <charlet at adacore dot com>
- To: Joseph Myers <joseph at codesourcery dot com>
- Cc: Tom de Vries <Tom_deVries at mentor dot com>, gcc-patches at gcc dot gnu dot org
- Date: Wed, 25 Feb 2015 16:47:53 +0100
- Subject: Re: [Ada] convert GNAT doc to sphinx
- Authentication-results: sourceware.org; auth=none
- References: <20150220091720 dot GA16093 at adacore dot com> <54E9F787 dot 4010704 at mentor dot com> <20150222180433 dot GB3798 at adacore dot com> <alpine dot DEB dot 2 dot 10 dot 1502251100480 dot 4161 at digraph dot polyomino dot org dot uk> <20150225111348 dot GB20964 at adacore dot com> <alpine dot DEB dot 2 dot 10 dot 1502251115250 dot 4161 at digraph dot polyomino dot org dot uk> <20150225112747 dot GC20964 at adacore dot com> <alpine dot DEB dot 2 dot 10 dot 1502251535230 dot 12077 at digraph dot polyomino dot org dot uk>
> > I've added a -I gcc/gcc/ada/doc/gnat_ugn there, that's as far as my
> > knowledge goes for this script so I hope this is enough.
>
> Well, since by default the find command deletes all files except those
> known to be documentation sources, you need at least to change it not to
> delete those particular files (and the actual RST sources of these
> manuals).
OK, I've applied the patch below, hopefully it should do the job.
> > I can help in transitioning the script to sphinx though, that would seem
> > more interesting/productive at this stage.
>
> See the existing code to handle Sphinx documentation for the JIT.
That's a good reference. We'll need a more recent version of sphinx than
1.0 though (at least 1.2.2, or even better, 1.3b2 which is the version we use
at AdaCore).
Arno
--
--- update_web_docs_svn (revision 220961)
+++ update_web_docs_svn (working copy)
@@ -107,10 +107,8 @@
svn -q export $SVNROOT/tags/$RELEASE gcc
fi
-# Remove all unwanted files. This is needed (a) to build the Ada
-# generator programs with the installed library, not the new one and
-# (b) to avoid packaging all the sources instead of only documentation
-# sources.
+# Remove all unwanted files. This is needed to avoid packaging all the
+# sources instead of only documentation sources.
# Note that we have to preserve gcc/jit/docs since the jit docs are
# not .texi files (Makefile, .rst and .png), and the jit docs use
# include directives to pull in content from jit/jit-common.h and
@@ -120,6 +118,7 @@
-o -path gcc/gcc/doc/include/texinfo.tex \
-o -path gcc/gcc/BASE-VER \
-o -path gcc/gcc/DEV-PHASE \
+ -o -path "gcc/gcc/ada/doc/gnat_ugn/*.png" \
-o -path "gcc/gcc/jit/docs/*" \
-o -path "gcc/gcc/jit/jit-common.h" \
-o -path "gcc/gcc/jit/notes.txt" \