api-index.sh 611 B

1234567891011121314151617181920212223242526272829
  1. #!/bin/sh
  2. (
  3. c=////////////////////////////////////////////////////////////////
  4. skel=api-index-skel.txt
  5. sed -e '/^\/\/ table of contents begin/q' "$skel"
  6. echo "$c"
  7. ls api-*.txt |
  8. while read filename
  9. do
  10. case "$filename" in
  11. api-index-skel.txt | api-index.txt) continue ;;
  12. esac
  13. title=$(sed -e 1q "$filename")
  14. html=${filename%.txt}.html
  15. echo "* link:$html[$title]"
  16. done
  17. echo "$c"
  18. sed -n -e '/^\/\/ table of contents end/,$p' "$skel"
  19. ) >api-index.txt+
  20. if test -f api-index.txt && cmp api-index.txt api-index.txt+ >/dev/null
  21. then
  22. rm -f api-index.txt+
  23. else
  24. mv api-index.txt+ api-index.txt
  25. fi