diff options
author | Ben Kaduk <kaduk@mit.edu> | 2012-10-16 20:11:14 -0400 |
---|---|---|
committer | Ben Kaduk <kaduk@mit.edu> | 2012-11-14 14:15:24 -0500 |
commit | f06725b7a98c16630f80d8cc1dd6386a7d21a058 (patch) | |
tree | 60f3e4c983eca9cca75d757a45fa6872c0496e6e /.gitignore | |
parent | d6d0455c13bdd137dca527219e4cd6ecce161fc3 (diff) | |
download | krb5-f06725b7a98c16630f80d8cc1dd6386a7d21a058.tar.gz krb5-f06725b7a98c16630f80d8cc1dd6386a7d21a058.tar.xz krb5-f06725b7a98c16630f80d8cc1dd6386a7d21a058.zip |
Make glue for building PDFs
sphinx-build's latex output engine creates a subdirectory with
various latex files, and a Makefile. The generated Makefile assumes
gmake, which we do not. The logic needed in this makefile is rather
simple, so we just include it in src/doc/Makefile.in, even if we
do need a rather complicated shell expression to work in the subdirectory.
ticket: 7433
tags: pullup
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 36c4f1af9f..8ec785de24 100644 --- a/.gitignore +++ b/.gitignore @@ -16,6 +16,7 @@ testlog /doc/version.py /doc/html/ +/doc/pdf/ /src/config.log /src/config.status |