manuals 1.5 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243
  1. #!/bin/sh
  2. # file: docbook/manuals
  3. # ====================================================================
  4. #
  5. # --------------------------------------------------------------------
  6. # unset LANG
  7. export MANWIDTH=132
  8. TOOLS=/usr/local/bin/cmassoc
  9. INDEX=toolkit.html
  10. STYLE=toolkit.css
  11. # ====================================================================
  12. #
  13. # --------------------------------------------------------------------
  14. if [ ! -d ${TOOLS} ]; then
  15. echo "You do not have Motley Tools installed. Bye!"
  16. exit 1
  17. fi
  18. # ====================================================================
  19. #
  20. # --------------------------------------------------------------------
  21. cp ../pib/piboffset.* .
  22. for file in ../*/*.1; do echo ${file}; ${TOOLS}/mp -s open-plc-utils ${file}; man ${file} > $(basename ${file}); done
  23. for file in ../scripts/*.sh; do cp ${file} .; done
  24. ${TOOLS}/purge -vr ../t.c
  25. ${TOOLS}/import -r . '../*.h' '../*.c'
  26. # ====================================================================
  27. #
  28. # --------------------------------------------------------------------
  29. ${TOOLS}/catalog -s ${STYLE} -gdp ${INDEX} -c 4 *.1 > manual.txt
  30. ${TOOLS}/catalog -s ${STYLE} -gdp ${INDEX} -c 4 *.h > header.txt
  31. ${TOOLS}/catalog -s ${STYLE} -gdp ${INDEX} -c 4 *.c > source.txt
  32. ${TOOLS}/catalog -s ${STYLE} -gdp ${INDEX} -c 4 *.sh > script.txt
  33. cat part0.txt part1.txt manual.txt part2.txt header.txt part4.txt source.txt part6.txt script.txt part8.txt > ${INDEX}
  34. rm -f manual.txt header.txt source.txt script.txt