Remove reST documentation, attendant updates.

The documentation covers topics not specifically relevant to libmaple,
so it doesn't make sense for it to be part of the libmaple source
distribution.

Delete the docs/ tree, and prepare libmaple for use with the new
leaflabs-docs repo, which will contain the docs from now on.

* README: update to reflect this change

* support/doxygen/Doxyfile: This is the old docs/Doxyfile

* Makefile: Add a doxygen target

* wirish/comm/HardwareSerial.h: fix reference to docs/.  The comment
  informing maintainers that the HardwareSerial interface is
  documented by hand refers to the docs/ tree, which no longer exists.
  Update it to refer to the separate leaflabs-docs repository.

* support/scripts/copy-to-ide: No longer build the documentation

5 files changed, 0 insertions, 272 deletions

diff --git a/docs/source/lang/unimplemented/notone.rst b/docs/source/lang/unimplemented/notone.rst
deleted file mode 100644
index 8af878b..0000000
--- a/docs/source/lang/unimplemented/notone.rst
+++ /dev/null
@@ -1,37 +0,0 @@
-.. _lang-notone:
-
-noTone()
-========
-
-Description
------------
-
-Stops the generation of a square wave triggered by
-`tone <http://arduino.cc/en/Reference/Tone>`_\ (). Has no effect if
-no tone is being generated.
-
-**NOTE:** if you want to play different pitches on multiple pins,
-you need to call noTone() on one pin before calling tone() on the
-next pin.
-
-Syntax
-------
-
-noTone(pin)
-
-Parameters
-----------
-
-pin: the pin on which to stop generating the tone
-
-Returns
--------
-
-Nothing.
-
-See Also
---------
-
--  `tone <http://arduino.cc/en/Reference/Tone>`_ ()
-
-.. include:: /lang/cc-attribution.txt
diff --git a/docs/source/lang/unimplemented/pulsein.rst b/docs/source/lang/unimplemented/pulsein.rst
deleted file mode 100644
index 2b52428..0000000
--- a/docs/source/lang/unimplemented/pulsein.rst
+++ /dev/null
@@ -1,82 +0,0 @@
-.. _lang-pulsein:
-
-pulseIn()
-=========
-
-Description
------------
-
-Reads a pulse (either HIGH or LOW) on a pin. For example, if
-**value** is **HIGH**, **pulseIn()** waits for the pin to go
-**HIGH**, starts timing, then waits for the pin to go **LOW** and
-stops timing. Returns the length of the pulse in microseconds.
-Gives up and returns 0 if no pulse starts within a specified time
-out.
-
-
-
-The timing of this function has been determined empirically and
-will probably show errors in longer pulses. Works on pulses from 10
-microseconds to 3 minutes in length.
-
-
-
-Syntax
-------
-
-pulseIn(pin, value)
-pulseIn(pin, value, timeout)
-
-
-
-Parameters
-----------
-
-pin: the number of the pin on which you want to read the pulse.
-(*int*)
-
-
-
-value: type of pulse to read: either
-`HIGH <http://arduino.cc/en/Reference/Constants>`_ or
-`LOW <http://arduino.cc/en/Reference/Constants>`_. (*int*)
-
-
-
-timeout (optional): the number of microseconds to wait for the
-pulse to start; default is one second (*unsigned long*)
-
-
-
-Returns
--------
-
-the length of the pulse (in microseconds) or 0 if no pulse started
-before the timeout (*unsigned long*)
-
-
-
-Example
--------
-
-::
-
-
-
-    int pin = 7;
-    unsigned long duration;
-
-    void setup()
-    {
-      pinMode(pin, INPUT);
-    }
-
-    void loop()
-    {
-      duration = pulseIn(pin, HIGH);
-    }
-
-
-
-
-.. include:: /lang/cc-attribution.txt
diff --git a/docs/source/lang/unimplemented/stringclass.rst b/docs/source/lang/unimplemented/stringclass.rst
deleted file mode 100644
index b893e83..0000000
--- a/docs/source/lang/unimplemented/stringclass.rst
+++ /dev/null
@@ -1,6 +0,0 @@
-.. _lang-stringclass:
-
-String Class
-============
-
-.. include:: /lang/cc-attribution.txt
diff --git a/docs/source/lang/unimplemented/stringobject.rst b/docs/source/lang/unimplemented/stringobject.rst
deleted file mode 100644
index e47ed7e..0000000
--- a/docs/source/lang/unimplemented/stringobject.rst
+++ /dev/null
@@ -1,89 +0,0 @@
-.. _lang-stringobject:
-
-String
-======
-
-Description
------------
-
-The String class, part of the core as of version 0019, allows you to
-use and manipulate strings of text in more complex ways than character
-arrays do. You can concatenate Strings, append to them, search for and
-replace substrings, and more. It takes more memory than a simple
-character array, but it is also more useful.
-
-
-
-For reference, character arrays are referred to as strings with a
-small s, and instances of the String class are referred to as
-Strings with a capital S. Note that constant strings, specified in
-"double quotes" are treated as char arrays, not instances of the
-String class.
-
-
-
-Functions
----------
-
-
--  `String <http://arduino.cc/en/Reference/StringConstructor>`_\ ()
--  `charAt <http://arduino.cc/en/Reference/StringCharAt>`_\ ()
--  `compareTo <http://arduino.cc/en/Reference/StringCompareTo>`_\ ()
--  `concat <http://arduino.cc/en/Reference/StringConcat>`_\ ()
--  `endsWith <http://arduino.cc/en/Reference/StringEndsWith>`_\ ()
--  `equals <http://arduino.cc/en/Reference/StringEquals>`_\ ()
--  `equalsIgnoreCase <http://arduino.cc/en/Reference/StringEqualsIgnoreCase>`_\ ()
--  `getBytes <http://arduino.cc/en/Reference/StringGetBytes>`_\ ()
--  `indexOf <http://arduino.cc/en/Reference/StringIndexOf>`_\ ()
--  `lastIndexOf <http://arduino.cc/en/Reference/StringLastIndexOf>`_\ ()
--  `length <http://arduino.cc/en/Reference/StringLength>`_\ ()
--  `replace <http://arduino.cc/en/Reference/StringReplace>`_\ ()
--  `setCharAt <http://arduino.cc/en/Reference/StringSetCharAt>`_\ ()
--  `startsWith <http://arduino.cc/en/Reference/StringStartsWith>`_\ ()
--  `substring <http://arduino.cc/en/Reference/StringSubstring>`_\ ()
--  `toCharArray <http://arduino.cc/en/Reference/StringToCharArray>`_\ ()
--  `toLowerCase <http://arduino.cc/en/Reference/StringToLowerCase>`_\ ()
--  `toUpperCase <http://arduino.cc/en/Reference/StringToUpperCase>`_\ ()
--  `trim <http://arduino.cc/en/Reference/StringTrim>`_\ ()
-
-
-
-Operators
----------
-
-
--  `[] (element access) <http://arduino.cc/en/Reference/StringBrackets>`_
--  `+ (concatenation) <http://arduino.cc/en/Reference/StringPlus>`_
--  `== (comparison) <http://arduino.cc/en/Reference/StringComparison>`_
-
-
-
-Examples
---------
-
-
--  `StringConstructors <http://arduino.cc/en/Tutorial/StringConstructors>`_
--  `StringAdditionOperator <http://arduino.cc/en/Tutorial/StringAdditionOperator>`_
--  `StringIndexOf <http://arduino.cc/en/Tutorial/StringIndexOf>`_
--  `StringAppendOperator <http://arduino.cc/en/Tutorial/StringAppendOperator>`_
--  `StringLengthTrim <http://arduino.cc/en/Tutorial/StringLengthTrim>`_
--  `StringCaseChanges <http://arduino.cc/en/Tutorial/StringCaseChanges>`_
--  `StringReplace <http://arduino.cc/en/Tutorial/StringReplace>`_
--  `StringCharacters <http://arduino.cc/en/Tutorial/StringCharacters>`_
--  `StringStartsWithEndsWith <http://arduino.cc/en/Tutorial/StringStartsWithEndsWith>`_
--  `StringComparisonOperators <http://arduino.cc/en/Tutorial/StringComparisonOperators>`_
--  `StringSubstring <http://arduino.cc/en/Tutorial/StringSubstring>`_
-
-
-
-See Also
---------
-
-
--  `Character array strings <http://arduino.cc/en/Reference/String>`_
--  `Variable Declaration <http://arduino.cc/en/Reference/VariableDeclaration>`_
-
-
-
-
-.. include:: /lang/cc-attribution.txt
diff --git a/docs/source/lang/unimplemented/tone.rst b/docs/source/lang/unimplemented/tone.rst
deleted file mode 100644
index 13d581e..0000000
--- a/docs/source/lang/unimplemented/tone.rst
+++ /dev/null
@@ -1,58 +0,0 @@
-.. _lang-tone:
-
-tone()
-======
-
-Description
------------
-
-Generates a square wave of the specified frequency (and 50% duty
-cycle) on a pin. A duration can be specified, otherwise the wave
-continues until a call to
-`noTone <http://arduino.cc/en/Reference/NoTone>`_\ (). The pin can be
-connected to a piezo buzzer or other speaker to play tones.
-
-Only one tone can be generated at a time. If a tone is already
-playing on a different pin, the call to tone() will have no effect.
-If the tone is playing on the same pin, the call will set its
-frequency.
-
-Use of the tone() function will interfere with PWM output on pins 3
-and 11 (on boards other than the Mega).
-
-**NOTE:** if you want to play different pitches on multiple pins,
-you need to call noTone() on one pin before calling tone() on the
-next pin.
-
-Syntax
-------
-
-tone(pin, frequency)
-tone(pin, frequency, duration)
-
-Parameters
-----------
-
-pin: the pin on which to generate the tone
-
-frequency: the frequency of the tone in hertz
-
-duration: the duration of the tone in milliseconds (optional)
-
-Returns
--------
-
-nothing
-
-See Also
---------
-
--  `noTone <http://arduino.cc/en/Reference/NoTone>`_\ ()
--  `analogWrite <http://arduino.cc/en/Reference/AnalogWrite>`_\ ()
--  `Tutorial:Tone <http://arduino.cc/en/Tutorial/Tone>`_
--  `Tutorial:Pitch follower <http://arduino.cc/en/Tutorial/Tone2>`_
--  `Tutorial:Simple Keyboard <http://arduino.cc/en/Tutorial/Tone3>`_
--  `Tutorial: multiple tones <http://arduino.cc/en/Tutorial/Tone4>`_
--  `Tutorial: PWM <http://arduino.cc/en/Tutorial/PWM>`_
-
-.. include:: /arduino-cc-attribution.txt