[ docs ] Fix warnings.

agda · Oct 14, 2015 · 17ec6dd · 17ec6dd
1 parent ec03363
commit 17ec6dd
Show file tree

Hide file tree

Showing 33 changed files with 66 additions and 66 deletions.
diff --git a/doc/user-manual/getting-started.rst b/doc/user-manual/getting-started.rst
@@ -1,8 +1,8 @@
 .. _getting-started:
 
-*****
+***************
 Getting Started
-*****
+***************
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/built-ins.rst b/doc/user-manual/language/built-ins.rst
@@ -1,8 +1,8 @@
 .. _built-ins:
 
-*****
+*********
 Built-ins
-*****
+*********
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/coinduction.rst b/doc/user-manual/language/coinduction.rst
@@ -1,8 +1,8 @@
 .. _coinduction:
 
-*****
+***********
 Coinduction
-*****
+***********
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/copatterns.rst b/doc/user-manual/language/copatterns.rst
@@ -1,8 +1,8 @@
 .. _copatterns:
 
-*****
+**********
 Copatterns
-*****
+**********
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/data-types.rst b/doc/user-manual/language/data-types.rst
@@ -1,8 +1,8 @@
 .. _data-types:
 
-*****
+**********
 Data Types
-*****
+**********
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/foreign-function-interface.rst b/doc/user-manual/language/foreign-function-interface.rst
@@ -1,8 +1,8 @@
 .. _foreign-function-interface:
 
-*****
+**************************
 Foreign Function Interface
-*****
+**************************
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/function-definitions.rst b/doc/user-manual/language/function-definitions.rst
@@ -1,8 +1,8 @@
 .. _function-definitions:
 
-*****
+********************
 Function Definitions
-*****
+********************
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/function-types.rst b/doc/user-manual/language/function-types.rst
@@ -1,8 +1,8 @@
 .. _function-types:
 
-*****
+**************
 Function Types
-*****
+**************
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/implicit-arguments.rst b/doc/user-manual/language/implicit-arguments.rst
@@ -1,8 +1,8 @@
 .. _implicit-arguments:
 
-*****
+******************
 Implicit Arguments
-*****
+******************
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/instance-arguments.rst b/doc/user-manual/language/instance-arguments.rst
@@ -1,8 +1,8 @@
 .. _instance-arguments:
 
-*****
+******************
 Instance Arguments
-*****
+******************
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/irrelevance.rst b/doc/user-manual/language/irrelevance.rst
@@ -1,8 +1,8 @@
 .. _irrelevance:
 
-*****
+***********
 Irrelevance
-*****
+***********
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/lambda-abstraction.rst b/doc/user-manual/language/lambda-abstraction.rst
@@ -1,8 +1,8 @@
 .. _lambda-abstraction:
 
-*****
+******************
 Lambda Abstraction
-*****
+******************
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/let-expressions.rst b/doc/user-manual/language/let-expressions.rst
@@ -1,8 +1,8 @@
 .. _let-expressions:
 
-*****
+***************
 Let Expressions
-*****
+***************
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/lexical-structure.rst b/doc/user-manual/language/lexical-structure.rst
@@ -1,8 +1,8 @@
 .. _lexical-structure:
 
-*****
+*****************
 Lexical Structure
-*****
+*****************
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/literal-overloading.rst b/doc/user-manual/language/literal-overloading.rst
@@ -1,8 +1,8 @@
 .. _literal-overloading:
 
-*****
+*******************
 Literal Overloading
-*****
+*******************
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/mixfix-operators.rst b/doc/user-manual/language/mixfix-operators.rst
@@ -1,8 +1,8 @@
 .. _mixfix-operators:
 
-*****
+****************
 Mixfix Operators
-*****
+****************
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/module-system.rst b/doc/user-manual/language/module-system.rst
@@ -1,8 +1,8 @@
 .. _module-system:
 
-*****
+*************
 Module System
-*****
+*************
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/mutual-recursion.rst b/doc/user-manual/language/mutual-recursion.rst
@@ -1,8 +1,8 @@
 .. _mutual-recursion:
 
-*****
+****************
 Mutual Recursion
-*****
+****************
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/pattern-synonyms.rst b/doc/user-manual/language/pattern-synonyms.rst
@@ -1,8 +1,8 @@
 .. _pattern-synonyms:
 
-*****
+****************
 Pattern Synonyms
-*****
+****************
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/postulates.rst b/doc/user-manual/language/postulates.rst
@@ -1,8 +1,8 @@
 .. _postulates:
 
-*****
+**********
 Postulates
-*****
+**********
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/pragmas.rst b/doc/user-manual/language/pragmas.rst
@@ -1,8 +1,8 @@
 .. _pragmas:
 
-*****
+*******
 Pragmas
-*****
+*******
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/record-types.rst b/doc/user-manual/language/record-types.rst
@@ -1,8 +1,8 @@
 .. _record-types:
 
-*****
+************
 Record Types
-*****
+************
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/safe-agda.rst b/doc/user-manual/language/safe-agda.rst
@@ -1,8 +1,8 @@
 .. _safe-agda:
 
-*****
+*********
 Safe Agda
-*****
+*********
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/sized-types.rst b/doc/user-manual/language/sized-types.rst
@@ -1,8 +1,8 @@
 .. _sized-types:
 
-*****
+***********
 Sized Types
-*****
+***********
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/telescopes.rst b/doc/user-manual/language/telescopes.rst
@@ -1,8 +1,8 @@
 .. _telescopes:
 
-*****
+**********
 Telescopes
-*****
+**********
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/termination-checking.rst b/doc/user-manual/language/termination-checking.rst
@@ -1,8 +1,8 @@
 .. _termination-checking:
 
-*****
+********************
 Termination Checking
-*****
+********************
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/universe-levels.rst b/doc/user-manual/language/universe-levels.rst
@@ -1,8 +1,8 @@
 .. _universe-levels:
 
-*****
+***************
 Universe Levels
-*****
+***************
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/with-abstraction.rst b/doc/user-manual/language/with-abstraction.rst
@@ -1,8 +1,8 @@
 .. _with-abstraction:
 
-*****
+****************
 With Abstraction
-*****
+****************
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/language/without-k.rst b/doc/user-manual/language/without-k.rst
@@ -1,8 +1,8 @@
 .. _without-k:
 
-*****
+*********
 Without K
-*****
+*********
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/tools/emacs-mode.rst b/doc/user-manual/tools/emacs-mode.rst
@@ -1,8 +1,8 @@
 .. _emacs-mode:
 
-*****
+**********
 Emacs Mode
-*****
+**********
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/tools/generating-html.rst b/doc/user-manual/tools/generating-html.rst
@@ -1,8 +1,8 @@
 .. _generating-html:
 
-*****
+***************
 Generating HTML
-*****
+***************
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/tools/generating-latex.rst b/doc/user-manual/tools/generating-latex.rst
@@ -1,8 +1,8 @@
 .. _generating-latex:
 
-*****
+****************
 Generating LaTeX
-*****
+****************
 
 .. note::
    This is a stub.
diff --git a/doc/user-manual/tools/package-system.rst b/doc/user-manual/tools/package-system.rst
@@ -1,8 +1,8 @@
 .. _package-system:
 
-*****
+**************
 Package System
-*****
+**************
 
 .. note::
    This is a stub.