This commit is contained in:
GitHub Merge Button 2011-12-08 11:39:33 -08:00
commit c6d4bd992a

View file

@ -10,9 +10,11 @@ update-readme:
header=$$(sed -e '/.*## OPTIONS/,$$ d' README.md) && \ header=$$(sed -e '/.*## OPTIONS/,$$ d' README.md) && \
footer=$$(sed -e '1,/.*## FAQ/ d' README.md) && \ footer=$$(sed -e '1,/.*## FAQ/ d' README.md) && \
echo "$${header}" > README.md && \ echo "$${header}" > README.md && \
echo -e '\n## OPTIONS' >> README.md && \ echo >> README.md && \
echo '## OPTIONS' >> README.md && \
echo "$${options}" >> README.md&& \ echo "$${options}" >> README.md&& \
echo -e '\n## FAQ' >> README.md && \ echo >> README.md && \
echo '## FAQ' >> README.md && \
echo "$${footer}" >> README.md echo "$${footer}" >> README.md
compile: compile: