Update documentation (fileformat=unix)

astrada · Dec 7, 2016 · 9db2ac4 · 9db2ac4
1 parent df09f4d
commit 9db2ac4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/doc/Automounting.md b/doc/Automounting.md
@@ -63,4 +63,4 @@ By inserting the following line into ~/.profile the shell will test wether somet
 
     $ mount | grep '/home/meersjo/GoogleDrive' >/dev/null || /usr/bin/google-drive-ocamlfuse '/home/meersjo/GoogleDrive'
 
-Full path specification is required in the grep part. The mount part would probably work with the ~/ shorthand.
+Full path specification is required in the grep part. The mount part would probably work with the ~/ shorthand.
diff --git a/doc/Configuration.md b/doc/Configuration.md
@@ -181,4 +181,4 @@ If you don't want to export a specific kind of docs, just remove the format port
 
 no drawings will be exported.
 
-Note that if you change any export format, you will have to clear the cache (using `-cc` command line option). Note also that this feature works only if you set `docs_file_extension=true`.
+Note that if you change any export format, you will have to clear the cache (using `-cc` command line option). Note also that this feature works only if you set `docs_file_extension=true`.