Wewnetrzny help w maxima

Kacper Kornet kornet w camk.edu.pl
Pią, 13 Cze 2008, 14:20:52 CEST


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 


Więcej informacji o liście dyskusyjnej pld-devel-pl