Wewnetrzny help w maxima
Kacper Kornet
kornet at camk.edu.pl
Fri Jun 13 14:20:52 CEST 2008
W PLD nie działa wewnętrzny help w maximie. Powód - pliki info są
automatycznie potraktowane gzipem, a on się spodziewa
nieskompresowanych. Wyjścia są w sumie dwa:
1) Niekompresować tych plików (jak wyłączyć użycie gzipa?)
2) Poprawić kod maximy, tak aby sobie wewnętrznie wywoływała gunzipa i
potem utrzymujemy takiego patcha.
Jak nikt nie będzie miał obiekcji, to zaimplementuję dwójkę (bo jedynkę
nie wiem jak uzyskać).
--
Kacper
More information about the pld-devel-pl
mailing list