fricas2D.ps

[Ralf Hemmecke]

Hi Waldek,

Riccardo has sent me some docfixes some time ago.
Among them is to change "axiom2D.ps" into "fricas2D.ps".

https://github.com/fricas/fricas/blob/master/src/doc/htex/ug07.htex#L760

I will do that.

But when I looked at the respective patch r2372

https://github.com/fricas/fricas/commit/eaeb4f937325a84d5c297fe973dcc6ee8f84b591.patch

in file src/graph/view2D/main2d.c

it says that you have also removed the option to specify the name by
.Xdefaults.

So I will also remove the respective mention of ".Xdefaults" from that
entry.

Comments?

Ralf

[Waldek Hebisch]

Yes, that is correct.

--
Waldek Hebisch