X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=cil-tools%2Fext3.c;h=89ca20d807b7ba84efdc3f7f4ef2d958b0a212cd;hb=d6d2c281d7f09c4d0a77877d2f8cbe39051d6f1e;hp=ba35518683528a1f90e84343fe0a1be57add8065;hpb=909f573d797eee83641263fbfe9c42417185ec26;p=ocaml-bitstring.git

diff --git a/cil-tools/ext3.c b/cil-tools/ext3.c
index ba35518..89ca20d 100644
--- a/cil-tools/ext3.c
+++ b/cil-tools/ext3.c
@@ -1,7 +1,7 @@
 /* This is an example import file, showing how to import the ext3
  * superblock automatically from Linux header files.
  *
- * Use: bitmatch-import-c ext3.c
+ * Use: bitmatch-import-c ext3.c > ext3_stubs.ml
  *
  * Tip: Add the --debug flag to that command line to see what's going on.
  */