[m-dev.] diff: fix indentation in tools/bootcheck

[Peter Ross]

Hi,


===================================================================


Estimated hours taken: 0.1

tools/bootcheck:
    Fix some indentation problems.


Index: tools/bootcheck
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/bootcheck,v
retrieving revision 1.99
diff -u -r1.99 bootcheck
--- tools/bootcheck	2000/07/07 09:40:30	1.99
+++ tools/bootcheck	2000/07/24 13:28:37
@@ -80,9 +80,9 @@
 		be reported in the output of bootcheck, to allow the statistics
 		files to be matched with the bootcheck that created them.
 	-W, --windows
-        Translate paths into the Microsoft Windows format and use the
-        extension \`.lib' for libraries. This option also implies
-        --no-sym-links.
+		Translate paths into the Microsoft Windows format and use the
+		extension \`.lib' for libraries. This option also implies
+		--no-sym-links.
 	--no-sym-links
 		Use this option on systems which don't support symbolic links.
 "

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------