Anubis / Anubis

Commit 40ea7c10ccd457cc812f9c6f036e78486d019289

Authored by Olivier Duvernois
1 parent a032ad96

*** empty log message ***

Showing 2 changed files with 17 additions and 15 deletions   Show diff stats
Inline Side-by-side
anubis_dev/library/tools/latex.anubis
  Show/Hide comments   View file @40ea7c1
... ... @@ -257,8 +257,10 @@ public define String
257 257 define String
258 258 latex_head
259 259 (
260   - String more_ahead
  260 + String ahead
261 261 ) =
  262 + ahead + "\\raggedbottom\n".
  263 +
262 264 "\\documentclass[a4paper,twoside,10pt]{article}\n\n"
263 265 //+ "\\batchmode\n"
264 266 + "\\setlength{\\headheight}{15pt}\n"
... ... @@ -302,7 +304,7 @@ public define String
302 304 (
303 305 String more_ahead,
304 306 LaTeX_Title title,
305   - String text_from_maml,
  307 + String core,
306 308 LaTeX_Table_of_Contents toc,
307 309 String colors,
308 310 ) =
... ... @@ -332,7 +334,7 @@ public define String
332 334 none then ""
333 335 table_of_contents(lang) then "\selectlanguage{"+lang+"}\\tableofcontents \n \\newpage \n"
334 336 }
335   - + text_from_maml
  337 + + core
336 338 + "\n\n"
337 339 + "\\end{sloppypar}\n\n"
338 340 + "\\end{document}\n\n".
... ... @@ -428,7 +430,7 @@ public define ResultMakePdf
428 430 then print("OK\n");
429 431 if compilation_number = 1
430 432 then make_pdf_file(file_name,mb_execution_directory,mb_pdf_directory)
431   - else make_pdf_file(file_name,mb_execution_directory,
  433 + else make_pdf_file(file_name,mb_execution_directory,
432 434 mb_pdf_directory,compilation_number-1)
433 435 else print("Error compilation n°"+compilation_number+"\n");
434 436 error_compilation("Error compilation n°"+compilation_number)
... ...
anubis_dev/library/tools/maml.anubis
  Show/Hide comments   View file @40ea7c1
... ... @@ -561,7 +561,8 @@ public define String
561 561 //"\\definecolor{my_green}{rgb}{0.27,0.51,0.27}\n"
562 562 "\\definecolor{my_green}{rgb}{0.09,0.66,0.09}\n"
563 563 + "\\definecolor{my_grey}{gray}{0.50}\n"
564   - + "\\definecolor{code_color}{rgb}{0.05,0.41,0.64}\n".
  564 + + "\\definecolor{code_color}{rgb}{0.05,0.41,0.64}\n".
  565 +
565 566 + "\\definecolor{code_color}{rgb}{0.61,0.50,0}\n".
566 567 + "\\definecolor{code_color}{rgb}{0.43,0.43,0.12}\n".
567 568 + "\\definecolor{code_color}{rgb}{0.54,0.54,0.15}\n".
... ... @@ -726,15 +727,6 @@ define String
726 727 itemize then ""
727 728 }
728 729 }.
729   -
730   - define String
731   - textcolor_close
732   - (
733   - List(Environment) lenv
734   - ) =
735   - if member(lenv,code)
736   - then ""
737   - else "}".
738 730  
739 731  
740 732 et de la même façon après le \end{itemize} :
... ... @@ -1111,4 +1103,12 @@ public define Result(Int32,String)
1111 1103 ok(m) then ok(to_string(to_LaTeX(m,site_name,public_dir,select_english,unselect_english)))
1112 1104 }.
1113 1105  
1114   -
1115 1106 \ No newline at end of file
  1107 +public define Result(Int32,String)
  1108 + convert_MAML_to_LaTeX
  1109 + (
  1110 + String s,
  1111 + String site_name, // sommething like : "www.my_beautiful_site.com"
  1112 + String public_dir
  1113 + ) =
  1114 + convert_MAML_to_LaTeX(s,site_name,public_dir,(One u) |-> "",(One u) |-> "").
  1115 +
1116 1116 \ No newline at end of file
... ...