1 files changed, 0 insertions, 45 deletions
diff --git a/docs/dr.txt b/docs/dr.txt
deleted file mode 100644
index ddbd9aa..0000000
--- a/docs/dr.txt
+++ /dev/null
@@ -1,45 +0,0 @@
-HELP PAGE FOR COMMAND dr
-SYNTAX
-dr [OPTIONS] [MOVES|$ID|@ID]
-DESCRIPTION
-Solves DR for a given scramble. A scramble can be given as last argument of the
-command, or an ID of a saved scramble can be provided. If none of the two is
-given, a prompt will ask the user to input a new scramble.
-If the option "from" is given (see below), it solves DR from an EO (if edges
-are oriented) without breaking that EO.
-The first time this command is called without the option from (and, to some
-extent, also the first time it is called with the option from), nissy loads
-some pruning tables that were not loaded on startup, causing a small but
-noticeable delay.
-OPTIONS
-axis={fb,rl,ud}    Specify the axis for the DR. One to three axes can be given,
-                   comma separated, no spaces.
-                   Default: DR on any of the three axis (omitting the option is
-                   the same as specifying axis=fb,rl,ud).
-b=N                Specify a bound for the number of moves. N must be a number.
-                   Default value: 20.
-h                  Show hidden DRs.
-                   Default, if an DR ending in e.g. R is shown, the equivalent
-                   one ending in R' is hidden.
-from {fb|rl|ud}    Solve DR from the specified EO, which must be solved,
-                   without breaking the EO.
-niss               Use NISS. It works only if solving DR from EO.
-                   Default: does not use NISS.
-n=N                Specify a maximum number of EOs to be output. N must be a
-                   number.
-                   Default value: 1.
-EXAMPLES
-dr from rl axis=ud $1
-  Finds optimal DR on ud, starting from EO on rl, for the first saved scramble.
-dr niss from fb n=10 m=6 F2 R L B' F D U' R2 L' F D B
-  Finds up to 10 DRs of length at most 6 from EO on fb, possibly using NISS.
-dr n=100 axis=ud h
-  Finds 100 DRs on ud, including "hidden" DRs.

diff --git a/docs/dr.txt b/docs/dr.txt deleted file mode 100644 index ddbd9aa..0000000 --- a/docs/dr.txt +++ /dev/null
@@ -1,45 +0,0 @@
1
2	HELP PAGE FOR COMMAND dr
3
4	SYNTAX
5	dr [OPTIONS] [MOVES\|$ID\|@ID]
6
7	DESCRIPTION
8	Solves DR for a given scramble. A scramble can be given as last argument of the
9	command, or an ID of a saved scramble can be provided. If none of the two is
10	given, a prompt will ask the user to input a new scramble.
11	If the option "from" is given (see below), it solves DR from an EO (if edges
12	are oriented) without breaking that EO.
13	The first time this command is called without the option from (and, to some
14	extent, also the first time it is called with the option from), nissy loads
15	some pruning tables that were not loaded on startup, causing a small but
16	noticeable delay.
17
18	OPTIONS
19	axis={fb,rl,ud} Specify the axis for the DR. One to three axes can be given,
20	comma separated, no spaces.
21	Default: DR on any of the three axis (omitting the option is
22	the same as specifying axis=fb,rl,ud).
23	b=N Specify a bound for the number of moves. N must be a number.
24	Default value: 20.
25	h Show hidden DRs.
26	Default, if an DR ending in e.g. R is shown, the equivalent
27	one ending in R' is hidden.
28	from {fb\|rl\|ud} Solve DR from the specified EO, which must be solved,
29	without breaking the EO.
30	niss Use NISS. It works only if solving DR from EO.
31	Default: does not use NISS.
32	n=N Specify a maximum number of EOs to be output. N must be a
33	number.
34	Default value: 1.
35
36	EXAMPLES
37	dr from rl axis=ud $1
38	Finds optimal DR on ud, starting from EO on rl, for the first saved scramble.
39
40	dr niss from fb n=10 m=6 F2 R L B' F D U' R2 L' F D B
41	Finds up to 10 DRs of length at most 6 from EO on fb, possibly using NISS.
42
43	dr n=100 axis=ud h
44	Finds 100 DRs on ud, including "hidden" DRs.
45