diff --git a/nixos/doc/manual/administration/rollback.section.md b/nixos/doc/manual/administration/rollback.section.md
new file mode 100644
index 000000000000..290d685a2a18
--- /dev/null
+++ b/nixos/doc/manual/administration/rollback.section.md
@@ -0,0 +1,38 @@
+# Rolling Back Configuration Changes {#sec-rollback}
+
+After running `nixos-rebuild` to switch to a new configuration, you may
+find that the new configuration doesn't work very well. In that case,
+there are several ways to return to a previous configuration.
+
+First, the GRUB boot manager allows you to boot into any previous
+configuration that hasn't been garbage-collected. These configurations
+can be found under the GRUB submenu "NixOS - All configurations". This
+is especially useful if the new configuration fails to boot. After the
+system has booted, you can make the selected configuration the default
+for subsequent boots:
+
+```ShellSession
+# /run/current-system/bin/switch-to-configuration boot
+```
+
+Second, you can switch to the previous configuration in a running
+system:
+
+```ShellSession
+# nixos-rebuild switch --rollback
+```
+
+This is equivalent to running:
+
+```ShellSession
+# /nix/var/nix/profiles/system-N-link/bin/switch-to-configuration switch
+```
+
+where `N` is the number of the NixOS system configuration. To get a
+list of the available configurations, do:
+
+```ShellSession
+$ ls -l /nix/var/nix/profiles/system-*-link
+...
+lrwxrwxrwx 1 root root 78 Aug 12 13:54 /nix/var/nix/profiles/system-268-link -> /nix/store/202b...-nixos-13.07pre4932_5a676e4-4be1055
+```
diff --git a/nixos/doc/manual/administration/rollback.xml b/nixos/doc/manual/administration/rollback.xml
deleted file mode 100644
index 80d79e1a53f1..000000000000
--- a/nixos/doc/manual/administration/rollback.xml
+++ /dev/null
@@ -1,41 +0,0 @@
-
- Rolling Back Configuration Changes
-
-
- After running nixos-rebuild to switch to a new
- configuration, you may find that the new configuration doesn’t work very
- well. In that case, there are several ways to return to a previous
- configuration.
-
-
-
- First, the GRUB boot manager allows you to boot into any previous
- configuration that hasn’t been garbage-collected. These configurations can
- be found under the GRUB submenu “NixOS - All configurations”. This is
- especially useful if the new configuration fails to boot. After the system
- has booted, you can make the selected configuration the default for
- subsequent boots:
-
-# /run/current-system/bin/switch-to-configuration boot
-
-
-
- Second, you can switch to the previous configuration in a running system:
-
-# nixos-rebuild switch --rollback
- This is equivalent to running:
-
-# /nix/var/nix/profiles/system-N-link/bin/switch-to-configuration switch
- where N is the number of the NixOS system
- configuration. To get a list of the available configurations, do:
-
-$ ls -l /nix/var/nix/profiles/system-*-link
-...
-lrwxrwxrwx 1 root root 78 Aug 12 13:54 /nix/var/nix/profiles/system-268-link -> /nix/store/202b...-nixos-13.07pre4932_5a676e4-4be1055
-
-
-
diff --git a/nixos/doc/manual/administration/troubleshooting.xml b/nixos/doc/manual/administration/troubleshooting.xml
index a7d731922213..16cf4f00b26d 100644
--- a/nixos/doc/manual/administration/troubleshooting.xml
+++ b/nixos/doc/manual/administration/troubleshooting.xml
@@ -10,7 +10,7 @@
-
+
diff --git a/nixos/doc/manual/from_md/administration/rollback.section.xml b/nixos/doc/manual/from_md/administration/rollback.section.xml
new file mode 100644
index 000000000000..a8df053011c5
--- /dev/null
+++ b/nixos/doc/manual/from_md/administration/rollback.section.xml
@@ -0,0 +1,42 @@
+
+ Rolling Back Configuration Changes
+
+ After running nixos-rebuild to switch to a new
+ configuration, you may find that the new configuration doesn’t work
+ very well. In that case, there are several ways to return to a
+ previous configuration.
+
+
+ First, the GRUB boot manager allows you to boot into any previous
+ configuration that hasn’t been garbage-collected. These
+ configurations can be found under the GRUB submenu NixOS -
+ All configurations
. This is especially useful if the new
+ configuration fails to boot. After the system has booted, you can
+ make the selected configuration the default for subsequent boots:
+
+
+# /run/current-system/bin/switch-to-configuration boot
+
+
+ Second, you can switch to the previous configuration in a running
+ system:
+
+
+# nixos-rebuild switch --rollback
+
+
+ This is equivalent to running:
+
+
+# /nix/var/nix/profiles/system-N-link/bin/switch-to-configuration switch
+
+
+ where N is the number of the NixOS system
+ configuration. To get a list of the available configurations, do:
+
+
+$ ls -l /nix/var/nix/profiles/system-*-link
+...
+lrwxrwxrwx 1 root root 78 Aug 12 13:54 /nix/var/nix/profiles/system-268-link -> /nix/store/202b...-nixos-13.07pre4932_5a676e4-4be1055
+
+