Small fixes so that manual.pdf can be created

Christos Kloukinasrequested to merge
kloukin/ecl-chris:develop into develop
  • macros.txi shouldn't redefine @seealso
  • special pdftex needed (script wrapper), that cleans up garbage from manual.aux

Merge request reports