|
|
 |
Introduction
- Table of Contents
- Who is using it? List of Docmint sites
- Bug Fixes and Security Issues
- Credits
- Docmint Demo
- Contribute to the Docmint manual
Docmint is not a Wiki system. Docmint is a small, multilingual CMS developed initially for online user manuals - like the one you are looking at. It features user comments, full text search, templated and customizable front end layout with example skins, code highlighting, fully localizable admin and public interface, file upload and attachment, image inclusion in the articles, a tree structure for articles, an easy install script, full Unicode-8 support as well as an import function from structured HTML documents, topped with a WYSIWYSG editor in the admin interface. In short: Docmint was developed after an endless search for a simple version of the beloved functionality of the PHP.net website. The results you are looking at right now, published under GNU/GPL.
Docmint has a number of XML import and export functionality for migrating and backing up content as well as language packs. It currently also features the possibility of importing HTML documents generated from OpenOffice or Word into the database, using the level number of the header tags as the underlying structure for the document tree.
Besides the basic use and design for multilingual online documentation, Docmint can easily be adjusted to serve individual layouts, making use of the templating feature, such as our website at Redaktion und Alltag (www.redaktionundalltag.de), which is also available as a skin when downloading and installing Docmint.
Micz Flor
01-17-2006 06:29:00 PM
This is a user comment posted on the Docmint site - and bares no relevance to the text above. You can see an example of the geshi code highlighter in action.
<?php
// Create a simple array.
$array = array(1, 2, 3, 4, 5);
print_r($array);
// Now delete every item, but leave the array itself intact:
foreach ($array as $i => $value) {
unset($array[$i]);
}
print_r($array);
// Append an item (note that the new key is 5, instead of 0 as you
// might expect).
$array[] = 6;
print_r($array);
// Re-index:
$array = array_values($array);
$array[] = 7;
print_r($array);
?>
|
|