3 files changed, 46 insertions, 43 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile
index 64dc0f66..2e8cbdfd 100644
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -20,7 +20,7 @@ help:
 $(targets): conf.py Makefile
 	@$(SPHINXBUILD) -M  $@  "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS)
 
-%.1: %.md man
+%.1: %.rst man
 	@mv build/man/$@ $@
 
 .PHONY: Makefile	# avoid circular deps with the catch-all rule
diff --git a/Documentation/dev-options.md b/Documentation/dev-options.md
deleted file mode 100644
index 8b1b30bc..00000000
--- a/Documentation/dev-options.md
+++ /dev/null
@@ -1,42 +0,0 @@
-# sparse - extra options for developers
-
-## SYNOPSIS
-`tools` [`options`]... `file.c`
-
-## DESCRIPTION
-
-This file is a complement of sparse's man page meant to
-document options only useful for development on sparse itself.
-
-## DEVELOPER OPTIONS
-
--f<name-of-the-pass>[-disable|-enable|=last]
-
-  If `=last` is used, all passes after the specified one are disabled.
-  By default all passes are enabled.
-
-  The passes currently understood are:
-
-  * `mem2reg`
-  * `optim`
-
-### DEBUGGING
-
--fdump-ir[=pass[,pass...]]
-
-  Dump the IR at each of the given passes.
-
-  The passes currently understood are:
-
-  * `linearize`
-  * `mem2reg`
-  * `final`
-
-  The default pass is `linearize`.
-
--v<debug-flag>
-
-  Add or display some debug info. The flag can be one of:
-
-  * `dead`: annotate dead pseudos.
-  * `entry`: dump the IR after all optimization passes.
diff --git a/Documentation/dev-options.rst b/Documentation/dev-options.rst
new file mode 100644
index 00000000..1f213afe
--- /dev/null
+++ b/Documentation/dev-options.rst
@@ -0,0 +1,45 @@
+sparse - extra options for developers
+=====================================
+
+SYNOPSIS
+--------
+``tools`` [`options`]... `file.c``
+
+DESCRIPTION
+-----------
+
+This file is a complement of sparse's man page meant to
+document options only useful for development on sparse itself.
+
+OPTIONS
+-------
+
+.. option:: -fdump-ir=pass,[pass]
+
+  Dump the IR at each of the given passes.
+
+  The passes currently understood are:
+
+    * ``linearize``
+    * ``mem2reg``
+    * ``final``
+
+  The default pass is ``linearize``.
+
+.. option:: -f<name-of-the-pass>[-disable|-enable|=last]
+
+  If ``=last`` is used, all passes after the specified one are disabled.
+  By default all passes are enabled.
+
+  The passes currently understood are:
+
+    * ``mem2reg``
+    * ``optim``
+
+.. option:: -vdead
+
+  Add ``OP_DEATHNOTE`` annotations to dead pseudos.
+
+.. option:: -ventry
+
+  Dump the IR after all optimization passes.