Hi,
There is only one problem that I meet with the src/buffer.C. Please see
the attached patch file.
Jacek.
*** buffer.C.orig Mon Dec 21 17:17:52 1998
--- buffer.C Thu Dec 24 15:55:07 1998
***************
*** 949,955 ****
inset = new InsetUrl(inscmd.getCommand());
} else if (inscmd.getCmdName() == "ref"
|| inscmd.getCmdName() == "pageref") {
! if (!inscmd.getOptions().empty ||
!inscmd.getContents().empty()) {
inset = new InsetRef(inscmd, this);
}
/* This condition comes from a temporary
solution
--- 949,955 ----
inset = new InsetUrl(inscmd.getCommand());
} else if (inscmd.getCmdName() == "ref"
|| inscmd.getCmdName() == "pageref") {
! if (!inscmd.getOptions().empty() ||
!inscmd.getContents().empty()) {
inset = new InsetRef(inscmd, this);
}
/* This condition comes from a temporary
solution