diff options
Diffstat (limited to 'www/aws/files/patch-docs__makefile')
| -rw-r--r-- | www/aws/files/patch-docs__makefile | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/www/aws/files/patch-docs__makefile b/www/aws/files/patch-docs__makefile deleted file mode 100644 index 7d72b2ca7bc7..000000000000 --- a/www/aws/files/patch-docs__makefile +++ /dev/null @@ -1,15 +0,0 @@ ---- docs/makefile.orig 2013-07-03 01:11:54.000000000 +0000 -+++ docs/makefile -@@ -116,10 +116,9 @@ build_doc: $(APIFILES) aws_docs sg_docs - echo AWS Documentation built with success. - ${MAKE} -C ../templates_parser doc - --aws_docs: aws.texi aws.pdf aws.html aws.txt aws.info -+aws_docs: aws.texi aws.html aws.txt aws.info - --sg_docs: style-guide.pdf style-guide.html style-guide.txt \ -- style-guide.info -+sg_docs: style-guide.html style-guide.txt style-guide.info - - setup: - |