960968 - Make building PDF documentation optional, off by default

Status: RESOLVED FIXED

(Bugzilla :: Documentation, defect)

Description

[Gervase Markham [:gerv]]

Building the PDF docs requires 1GB of TeX. Most people will not read the PDF. readthedocs.org automatically builds the PDFs for us so we can check them every so often - and as long as we use standard RST/Sphinx markup, there shouldn't be problems anyway.

All these things make me think that building the PDFs should be an option, and off by default. (I.e. you should need to pass a parameter to makedocs.pl in order to build them.)

Gerv

Comment 1

[Frédéric Buclin]

You regressed this in bug 912064. You removed

    if (! grep($_ eq "--with-pdf", @ARGV)) {
        next;
    }

Comment 2

[Frédéric Buclin]

Attachment: patch, v1

Comment 3

[Gervase Markham [:gerv]]

Comment on attachment 8361847 [details] [diff] [review]
patch, v1

Oops, sorry. Over-eager removal of what I thought was the old stuff. r=gerv. Thanks :-)

Gerv

Comment 4

[Gervase Markham [:gerv]]

This change is also in bug 961755, in case that one gets checked in first.

Gerv

Comment 5

[Gervase Markham [:gerv]]

Fixed in bug 961775.

Committing  to: bzr+ssh://bzr.mozilla.org/bugzilla/trunk/                      
modified docs/makedocs.pl
Committed revision 8874. 

Gerv