Double clutch means you press the clutch twice... Hence the name.
Clutch in, put into neutral from previous gear, release clutch, rev engine to match RPM's of desired gear, clutch in, shift into gear, clutch out.
As opposed to single clutch...
clutch in, change gear, clutch out.
You're...