diff options
Diffstat (limited to 'jjb/releng-macros.yaml')
| -rw-r--r-- | jjb/releng-macros.yaml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/jjb/releng-macros.yaml b/jjb/releng-macros.yaml index dd33437c9..3be93c889 100644 --- a/jjb/releng-macros.yaml +++ b/jjb/releng-macros.yaml @@ -180,9 +180,9 @@ sphinx-build -b html -E -c docs/etc "$dir" "$_output" - sphinx-build -b latex -E -c docs/etc -D project=$_name "$dir" "$_build" - make -C "$_build" LATEXOPTS='--interaction=nonstopmode' all-pdf - mv "$_build"/*.pdf "$_output" + #sphinx-build -b latex -E -c docs/etc -D project=$_name "$dir" "$_build" + #make -C "$_build" LATEXOPTS='--interaction=nonstopmode' all-pdf + #mv "$_build"/*.pdf "$_output" done #TODO(r-mibu): change this to publisher |