Overview
| Comment: | Updated to only update page if it has changed |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
3907284219af07d4242d969987b043f6 |
| User & Date: | rkeene on 2014-01-21 09:53:14 |
| Other Links: | manifest | tags |
Context
|
2014-01-21
| ||
| 09:57 | Removed external links in generated page check-in: 2f25369419 user: rkeene tags: trunk | |
| 09:53 | Updated to only update page if it has changed check-in: 3907284219 user: rkeene tags: trunk | |
| 09:50 | Added script to sync man page to Fossil check-in: dad30e7b99 user: rkeene tags: trunk | |
Changes
Modified build/pre.sh from [be31b588ea] to [1221ac4453].
1 2 3 4 | #! /bin/bash cd /home/rkeene/devel/freecolor || exit 1 | | > > > > > | > | 1 2 3 4 5 6 7 8 9 10 11 12 |
#! /bin/bash
cd /home/rkeene/devel/freecolor || exit 1
newpage="$(groff -mandoc -Thtml < freecolor.1 | awk '/^<body>$/{ start = 1; next; } /^<\/body>$/{start = 0} (start == 1){ print $0 }')"
oldpage="$(fossil wiki export Manual)"
if [ "${oldpage}" != "${newpage}" ]; then
echo "${newpage}" | fossil wiki commit Manual
fossil sync
fi
|