]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Fix typo in comment. 3132/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Mon, 19 Sep 2016 03:05:45 +0000 (21:05 -0600)
committerWolfgang Bangerth <bangerth@colostate.edu>
Mon, 19 Sep 2016 03:05:45 +0000 (21:05 -0600)
doc/doxygen/CMakeLists.txt

index 0cd495376147165b7209440d786d518c0a0c893e..501d7ab930fd002d94eb3a3886cd7bd859e2a36a 100644 (file)
@@ -81,7 +81,7 @@ CONFIGURE_FILE(
 # if they are listed in the options.dox file, even though the -w command is
 # specifically intended to create them. See
 #    https://bugzilla.gnome.org/show_bug.cgi?id=771606
-# To work around this, do a 'touch' operation in them first to ensure they're
+# To work around this, do a 'touch' operation on them first to ensure they're
 # there before we call "doxygen -w".
 #
 ADD_CUSTOM_COMMAND(

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.