From: Michael Orlitzky Date: Sun, 8 May 2011 21:38:25 +0000 (-0400) Subject: Escape some special characters in comments, and make the publish_doc target sync... X-Git-Tag: 0.0.1~298 X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=0190aacddd4184c319896b01bb1acb29cb133485;p=spline3.git Escape some special characters in comments, and make the publish_doc target sync in the right direction. --- diff --git a/makefile b/makefile index 2a70a31..36f07cd 100644 --- a/makefile +++ b/makefile @@ -71,7 +71,7 @@ doc: src_html SSH_USER=root@michael.orlitzky.com PUBLIC_DOCDIR=/var/www/orlitzky.com/michael/public/spline3/ publish_doc: doc - rsync -avz -e ssh $(SSH_USER):$(PUBLIC_DOCDIR) ./doc/html/ + rsync -avz -e ssh ./doc/html/ $(SSH_USER):$(PUBLIC_DOCDIR) hlint: hlint --ignore="Use camelCase" \ diff --git a/src/Tests/Cube.hs b/src/Tests/Cube.hs index 11159b5..418730a 100644 --- a/src/Tests/Cube.hs +++ b/src/Tests/Cube.hs @@ -264,7 +264,7 @@ prop_tetrahedron23_volumes_positive cube = -- | Given in Sorokina and Zeilfelder, p. 79. Note that the third and -- fourth indices of c-t3 have been switched. This is because we -- store the triangles oriented such that their volume is --- positive. If T and T-tilde share and v3,v3-tilde point +-- positive. If T and T-tilde share \ and v3,v3-tilde point -- in opposite directions, one of them has to have negative volume! prop_c0120_identity1 :: Cube -> Bool prop_c0120_identity1 cube = @@ -277,7 +277,7 @@ prop_c0120_identity1 cube = -- | Given in Sorokina and Zeilfelder, p. 79. Note that the third and -- fourth indices of c-t3 have been switched. This is because we -- store the triangles oriented such that their volume is --- positive. If T and T-tilde share and v3,v3-tilde point +-- positive. If T and T-tilde share \ and v3,v3-tilde point -- in opposite directions, one of them has to have negative volume! prop_c0210_identity1 :: Cube -> Bool prop_c0210_identity1 cube = @@ -290,7 +290,7 @@ prop_c0210_identity1 cube = -- | Given in Sorokina and Zeilfelder, p. 79. Note that the third and -- fourth indices of c-t3 have been switched. This is because we -- store the triangles oriented such that their volume is --- positive. If T and T-tilde share and v3,v3-tilde point +-- positive. If T and T-tilde share \ and v3,v3-tilde point -- in opposite directions, one of them has to have negative volume! prop_c0300_identity1 :: Cube -> Bool prop_c0300_identity1 cube = @@ -303,7 +303,7 @@ prop_c0300_identity1 cube = -- | Given in Sorokina and Zeilfelder, p. 79. Note that the third and -- fourth indices of c-t3 have been switched. This is because we -- store the triangles oriented such that their volume is --- positive. If T and T-tilde share and v3,v3-tilde point +-- positive. If T and T-tilde share \ and v3,v3-tilde point -- in opposite directions, one of them has to have negative volume! prop_c1110_identity :: Cube -> Bool prop_c1110_identity cube = @@ -316,7 +316,7 @@ prop_c1110_identity cube = -- | Given in Sorokina and Zeilfelder, p. 79. Note that the third and -- fourth indices of c-t3 have been switched. This is because we -- store the triangles oriented such that their volume is --- positive. If T and T-tilde share and v3,v3-tilde point +-- positive. If T and T-tilde share \ and v3,v3-tilde point -- in opposite directions, one of them has to have negative volume! prop_c1200_identity1 :: Cube -> Bool prop_c1200_identity1 cube = @@ -329,7 +329,7 @@ prop_c1200_identity1 cube = -- | Given in Sorokina and Zeilfelder, p. 79. Note that the third and -- fourth indices of c-t3 have been switched. This is because we -- store the triangles oriented such that their volume is --- positive. If T and T-tilde share and v3,v3-tilde point +-- positive. If T and T-tilde share \ and v3,v3-tilde point -- in opposite directions, one of them has to have negative volume! prop_c2100_identity1 :: Cube -> Bool prop_c2100_identity1 cube = @@ -343,7 +343,7 @@ prop_c2100_identity1 cube = -- | Given in Sorokina and Zeilfelder, p. 79. Note that the third and -- fourth indices of c-t1 have been switched. This is because we -- store the triangles oriented such that their volume is --- positive. If T and T-tilde share and v2,v2-tilde point +-- positive. If T and T-tilde share \ and v2,v2-tilde point -- in opposite directions, one of them has to have negative volume! prop_c0102_identity1 :: Cube -> Bool prop_c0102_identity1 cube = @@ -356,7 +356,7 @@ prop_c0102_identity1 cube = -- | Given in Sorokina and Zeilfelder, p. 79. Note that the third and -- fourth indices of c-t1 have been switched. This is because we -- store the triangles oriented such that their volume is --- positive. If T and T-tilde share and v2,v2-tilde point +-- positive. If T and T-tilde share \ and v2,v2-tilde point -- in opposite directions, one of them has to have negative volume! prop_c0201_identity1 :: Cube -> Bool prop_c0201_identity1 cube = @@ -369,7 +369,7 @@ prop_c0201_identity1 cube = -- | Given in Sorokina and Zeilfelder, p. 79. Note that the third and -- fourth indices of c-t1 have been switched. This is because we -- store the triangles oriented such that their volume is --- positive. If T and T-tilde share and v2,v2-tilde point +-- positive. If T and T-tilde share \ and v2,v2-tilde point -- in opposite directions, one of them has to have negative volume! prop_c0300_identity2 :: Cube -> Bool prop_c0300_identity2 cube = @@ -382,7 +382,7 @@ prop_c0300_identity2 cube = -- | Given in Sorokina and Zeilfelder, p. 79. Note that the third and -- fourth indices of c-t1 have been switched. This is because we -- store the triangles oriented such that their volume is --- positive. If T and T-tilde share and v2,v2-tilde point +-- positive. If T and T-tilde share \ and v2,v2-tilde point -- in opposite directions, one of them has to have negative volume! prop_c1101_identity :: Cube -> Bool prop_c1101_identity cube = @@ -395,7 +395,7 @@ prop_c1101_identity cube = -- | Given in Sorokina and Zeilfelder, p. 79. Note that the third and -- fourth indices of c-t1 have been switched. This is because we -- store the triangles oriented such that their volume is --- positive. If T and T-tilde share and v2,v2-tilde point +-- positive. If T and T-tilde share \ and v2,v2-tilde point -- in opposite directions, one of them has to have negative volume! prop_c1200_identity2 :: Cube -> Bool prop_c1200_identity2 cube = @@ -408,7 +408,7 @@ prop_c1200_identity2 cube = -- | Given in Sorokina and Zeilfelder, p. 79. Note that the third and -- fourth indices of c-t1 have been switched. This is because we -- store the triangles oriented such that their volume is --- positive. If T and T-tilde share and v2,v2-tilde point +-- positive. If T and T-tilde share \ and v2,v2-tilde point -- in opposite directions, one of them has to have negative volume! prop_c2100_identity2 :: Cube -> Bool prop_c2100_identity2 cube =