From 044f6638eaddd05ddeb6501d17039431a90cf952 Mon Sep 17 00:00:00 2001
From: Frederic Junod <frederic.junod@camptocamp.com>
Date: Wed, 13 Apr 2016 09:00:02 +0200
Subject: [PATCH] Remove externs/jspdf.js and add NOCOMPILE to
 examples/export-pdf.js

---
 config/examples-all.json |  1 -
 examples/export-pdf.js   |  1 +
 externs/jspdf.js         | 46 ----------------------------------------
 3 files changed, 1 insertion(+), 47 deletions(-)
 delete mode 100644 externs/jspdf.js

diff --git a/config/examples-all.json b/config/examples-all.json
index a588c96246..eef3640831 100644
--- a/config/examples-all.json
+++ b/config/examples-all.json
@@ -18,7 +18,6 @@
       "externs/esrijson.js",
       "externs/example.js",
       "externs/geojson.js",
-      "externs/jspdf.js",
       "externs/jquery-1.9.js",
       "externs/proj4js.js",
       "externs/tilejson.js",
diff --git a/examples/export-pdf.js b/examples/export-pdf.js
index c13ac852aa..cf856c5b46 100644
--- a/examples/export-pdf.js
+++ b/examples/export-pdf.js
@@ -1,3 +1,4 @@
+// NOCOMPILE
 goog.require('ol.Map');
 goog.require('ol.View');
 goog.require('ol.control');
diff --git a/externs/jspdf.js b/externs/jspdf.js
deleted file mode 100644
index 3c1652c92e..0000000000
--- a/externs/jspdf.js
+++ /dev/null
@@ -1,46 +0,0 @@
-/**
- * @fileoverview jsPDF PDF generator.
- * @see https://github.com/MrRio/jsPDF
- */
-
-/**
- * @constructor
- * @param {string=} orientation One of `portrait` or `landscape`
- *     (or shortcuts `p` (default), `l`).
- * @param {string=} unit Measurement unit to be used when coordinates are specified.
- *     One of `pt`, `mm` (default), `cm`, `in`.
- * @param {string=} format Default: `a4`.
- * @param {boolean=} compressPdf
- */
-var jsPDF = function(orientation, unit, format, compressPdf) {};
-
-/**
- * @param {string} imageData
- * @param {string} format
- * @param {number} x
- * @param {number} y
- * @param {number} w
- * @param {number} h
- * @param {string=} alias
- * @param {number=} compression
- * @return {jsPDF}
- */
-jsPDF.prototype.addImage = function(imageData, format, x, y, w, h, alias, compression) {};
-
-/**
- * @return {jsPDF}
- */
-jsPDF.prototype.autoPrint = function() {};
-
-/**
- * @param {string} type
- * @param {Object=} options
- * @return {jsPDF}
- */
-jsPDF.prototype.output = function(type, options) {};
-
-/**
- * @param {string} filename
- * @return {jsPDF}
- */
-jsPDF.prototype.save = function(filename) {};