Thomas Guettler wrote:
Hallo Thomas,
Für mich ist ein html validator z.B. tidy. (www.w3.org/People/Raggett/tidy). Er überprüft ob die Syntax einer HTML Datei richtig ist.
==guettli@sonne:~$ apt-cache search tidy ... tidy - HTML syntax checker and reformatter
Das klingt doch sehr gut!
Gibt es da auch was unter Debian/Woody? Hat jemand Erfahrungen mit den Latex *.sty Dateien? Wie bekomme ich diese ohne großen Aufwand nach *.perl damit der Konverter diese erkennt und einbindet.
Ich glaube, hier willst du Äpfel zu Birnen konfertieren. Perl ist eine Programmiersprache, sie enthält Quelltext. Beispiel
Was Perl ist, ist mir schon klar. Eine ausgewachsene Programmiersprache. U.a. mit typischer Endung *.pl.
sty sind Dateien von Latex, was sie beinhalten weiß ich nicht.
Unter http://www.uni-koeln.de/themen/texmf/einfuehrung/dateisorten.html eine _sehr_ knappe Bemerkung dazu: *.sty sind Style-Files von Latex, Sie liefern zusätzliche Funktionalität in einem Dokument, z.B. neue Befehle, neue Fonts, oder Farbunterstützung.
Ich habe das latex2html - Debian Paket installiert. Unter /usr/share/ latex2html/styles finde ich eine Menge Filter. Diese beinhalten Tex-Definitionen und (ich sag jetzt mal) Konfigurationssyntax. Und auch gar nicht so schwer zu lesen, verstehen sollte noch kommen ;-).
Es werden hier viele selbstdefinierte Latexbefehle benutzt, in der Regel Ankürzungen für mathematische und logische Formeln. Im Tex-Code rumschmieren ist keine gute Idee, den Konverter aufbohren gefällt mir da schon besser.
Deshalb mein Gedanke ob man die nicht erweitern kann, oder neue hinzufügen. Idee ist: z.B gibt es in der Aussagenlogik einen Negator, dies ist ein Tex-Befehl (in einer *.sty). Kann also dargestellt werden. Mein Logik-Prof. hat einen Latex-Befehl definiert ,in der selben *.sty,(spaßeshalber "er war tippmüde") um diesen abzukürzen. Ich muss doch den Konverter um diese Abkürzung erweitern können, analog zu den schon bestehenden Filtern.
Vielleicht hilft dir jemand in der tex Newsgroup weiter.
Werd es mal auf der entsprechenden Mailingliste versuchen.
Jan