mkhtml.red 1.6 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798
  1. %
  2. % This file runs the "*.tex" to "redhelp.html" conversion code. As
  3. % well as providing the top level direction to the process it patches up
  4. % for at least some of the places where the conversion code had been
  5. % written in a manner not strongly related to the portability objectives of
  6. % Standard Lisp...
  7. %
  8. symbolic;
  9. off echo;
  10. on backtrace;
  11. on comp;
  12. !*windows := t;
  13. fluid '(package);
  14. package := 'redhelp;
  15. symbolic procedure deletip(a, b);
  16. delete(a, b);
  17. symbolic procedure inf x;
  18. char!-code x;
  19. symbolic procedure channellinelength(f, l);
  20. begin
  21. f := wrs f;
  22. l := linelength l;
  23. wrs f;
  24. return l
  25. end;
  26. symbolic procedure channelprin2(f, x);
  27. begin
  28. f := wrs f;
  29. prin2 x;
  30. wrs f;
  31. return x
  32. end;
  33. symbolic procedure channelprin2t(f, x);
  34. begin
  35. f := wrs f;
  36. prin2t x;
  37. wrs f;
  38. return x
  39. end;
  40. symbolic macro procedure channelprintf u;
  41. begin
  42. scalar g;
  43. g := gensym();
  44. return list('prog, list g,
  45. list('setq, g, list('wrs, cadr u)),
  46. 'printf . cddr u,
  47. list('wrs, g))
  48. end;
  49. symbolic procedure channelterpri f;
  50. begin
  51. f := wrs f;
  52. terpri();
  53. wrs f;
  54. end;
  55. symbolic procedure channelreadch f;
  56. begin
  57. scalar c;
  58. f := rds f;
  59. c := readch();
  60. rds f;
  61. return c
  62. end;
  63. in "comphelp.red"$
  64. in "helphtml.red"$
  65. in "minitex.red"$
  66. dir_src := "../doc/help/";
  67. % dir_src := "~/reduce/doc/help/";
  68. on backtrace;
  69. reset_html();
  70. job(bldmsg("%w.tex",package), "null.fil");
  71. reset_html();
  72. job(bldmsg("%w.tex",package), "null.fil");
  73. html_indexfile();
  74. LISP_indexfile();
  75. bye;