I think the best answer to that is to use "cups-pdf", a program that works in conjunction with CUPS (or 'printer manager' as it's known on the CnMbook) to create Portable Document Format files from any print job. With that installed, you get something like 'print to a PDF file' as one of the 'Printers' you can print to.
Unfortunately, I can't find that in a form ready to install on the Little Linux Laptop. Perhaps one of those who already know how to make installation files for these machines will be kind enough to get around to it? ...
The source code is at <http://www.cups-pdf.de/welcome.shtml>, and I expect there is a .deb for the version of Debian that our operating system is derived from.
Meanwhile, the Word Processor we have (called "Xip Word" on the CnMbook, actually "AbiWord") can 'Save as ...' a PDF file - for what that's worth.
I don't think we need to have anything to do with Adobe

)