marko10_000
/
openclonk
forked from Mirrors/openclonk
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
11,259 Commits
27 Branches
0 Tags
318 MiB
Commit Graph

16 Commits (master)

Author SHA1 Message Date
Lukas Werling 69a08605cb docs: Change http:// links to https 2018-03-20 21:59:47 +01:00
Tobias Zwick 0ad8e15c8a in the documentation, always have "docs" preselected in the search shown in the header 2016-06-19 17:00:18 +02:00
Günther Brammer e1b7db956a docs: Update header and CSS for the new openclonk.org style 2016-01-02 22:44:45 +01:00
Tobias Zwick feae5c8ea3 website header changes 2013-10-31 00:58:55 +07:00
Tobias Zwick 6dc75fb22a documentation -> link to git repos in header 2013-01-13 15:40:28 +01:00
Tobias Zwick caac561959 Search bar in the documentation defaulting to c4script function (or similar) (#819) 2012-10-20 16:14:00 +02:00
Tobias Zwick 873f189641 fix openclonk header css for docs (nobody noticed :-( ) 2012-08-20 21:47:21 +02:00
Tobias Zwick 07fbe84af6 fix docs header 2012-02-01 20:10:17 +01:00
Tobias Zwick e537a7ad0a docs: fix link to download page in header.xml 2011-08-01 01:15:15 +02:00
Tobias Zwick 47f84a46d7 docs: added language switcher to the header 2011-06-30 01:41:49 +02:00
Günther Brammer 26ea10106f Remove the php extension from the download URL 
Hopefully, the url won't change that way when the implementation changes.
 2010-12-03 22:48:34 +01:00
Tobias Zwick 475f9a7214 new header for the documentation (+de.po was re-generated by make) 2010-09-09 17:54:20 +02:00
Tobias Zwick f3b77671aa updated header, en.po 2010-04-08 02:07:50 +02:00
Tobias Zwick 5f1c4ab93d fixed header 2010-03-16 00:41:10 +01:00
Tobias Zwick b86637e176 docs: updated docs header 2010-03-15 23:59:39 +01:00
Günther Brammer a9dfe2ed82 docs: Use static html instead of php 
The .html file extension is needed for offline docs, and configuring a webserver
to execute PHP in .html is as easy as changing the build system to support both.

But for a simple common header there's no need to reach for PHP. XSLT can do the
job. For ease of maintenance the header is read from an extra file.
 2010-02-10 00:55:32 +01:00