diff options
| author | Giovanni Di Sirio <gdisirio@gmail.com> | 2018-05-01 09:40:11 +0000 |
|---|---|---|
| committer | Giovanni Di Sirio <gdisirio@gmail.com> | 2018-05-01 09:40:11 +0000 |
| commit | e30edc0e9ca5fbc15c11b0ce744099b848611624 (patch) | |
| tree | f9a3794e377867d72653de91b9e63c3e96313424 /doc/hal | |
| parent | de9571b3c0996e4e69e6b89e3fdbc41b36e8418c (diff) | |
| download | ChibiOS-e30edc0e9ca5fbc15c11b0ce744099b848611624.tar.gz ChibiOS-e30edc0e9ca5fbc15c11b0ce744099b848611624.tar.bz2 ChibiOS-e30edc0e9ca5fbc15c11b0ce744099b848611624.zip | |
EOL adjustments.
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@11983 110e8d01-0319-4d1e-a829-52ad28d1bb01
Diffstat (limited to 'doc/hal')
| -rw-r--r-- | doc/hal/rsync_web.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/hal/rsync_web.sh b/doc/hal/rsync_web.sh index df0f6ae16..03bec08ab 100644 --- a/doc/hal/rsync_web.sh +++ b/doc/hal/rsync_web.sh @@ -1,2 +1,2 @@ -#!/bin/bash
-rsync -avP -e ssh --delete --exclude=.* ./html/ gdisirio,chibios@web.sourceforge.net:/home/groups/c/ch/chibios/htdocs/docs3/hal
+#!/bin/bash +rsync -avP -e ssh --delete --exclude=.* ./html/ gdisirio,chibios@web.sourceforge.net:/home/groups/c/ch/chibios/htdocs/docs3/hal |