Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Embed source code into generated documentation. #2439

Merged
merged 62 commits into from
Feb 4, 2018
Merged
Show file tree
Hide file tree
Changes from 59 commits
Commits
Show all changes
62 commits
Select commit Hold shift + click to select a range
f19b7ea
add js and css file for docs at build time
Nov 11, 2017
d282f60
avoid warning for docs contents and start to list source files into m…
Nov 11, 2017
cccdaea
Get a first basic version of source embedding working.
Nov 12, 2017
7b09194
Fix layout js and css.
Nov 12, 2017
71ae965
Fix source read not putting at null terminator at end..
Nov 12, 2017
833dcd7
Avoid parsing code twice.
Nov 12, 2017
78099a0
Make bigger numbering so it handles up to 9999 lines.
Nov 12, 2017
b082bcc
Add more margin for the code so it is spaced properly with the number…
Nov 12, 2017
fed170f
Escape triple back tick in markdown so it does not fail parsing when …
Nov 12, 2017
b023400
Handle name clashes.
Nov 12, 2017
f6e2aaa
cleanup file.
Nov 12, 2017
0c6c44f
Cleanup file.
Nov 12, 2017
0813115
Auto scroll to selected lines.
Nov 12, 2017
17b6f52
Add link to source code for methods.
Nov 12, 2017
9d9c136
Add link to sources for field and entities.
Nov 12, 2017
8ee5600
Remove border for code.
Nov 18, 2017
a82c175
Avoid buffer overflow when reading source file.
Nov 18, 2017
d500ef7
Move path related function into paths.h
Nov 18, 2017
32a41b9
Add the trick to use multiple backtick.
Nov 18, 2017
7ecf210
Factorize code for adding source link.
Nov 18, 2017
c1636a7
Better display for source link.
Nov 18, 2017
46b692b
remove unsued method.
Nov 18, 2017
90eded9
Avoid leaking memory.
Nov 18, 2017
72f28bc
Put each source code in a folder with its package name.
Nov 18, 2017
9df4988
make path more robust when embedding source code in documentation
Dec 4, 2017
2fd5640
merge with master
Dec 16, 2017
55f5336
merge with master
Dec 21, 2017
2827ad0
fix merge.
Dec 21, 2017
9060f3f
copy .docs files to the generated documentation.
Dec 21, 2017
1c126fe
Add newer version of highlight.js
Dec 21, 2017
aa8f0b8
Fix some compile errors on Linux.
Dec 21, 2017
2c6e576
fix more compilations error on Linux.
Dec 21, 2017
17a03e1
fix one more compile error on Linux
Dec 21, 2017
7c21875
Merge branch 'doc_embed_source_code' of https://github.com/codec-abc/…
Jan 1, 2018
39830ef
Merge branch 'master' into doc_embed_source_code
Jan 1, 2018
0ffdd29
Add comments and assert.
Jan 1, 2018
8d70734
Embed source code into documentation
Nov 11, 2017
747386a
Merge branch 'doc_embed_source_code' of https://github.com/codec-abc/…
codec-abc Jan 21, 2018
ccd8fe1
Fix a couple of issues thanks to mfelsche code review.
codec-abc Jan 21, 2018
36a4447
Add support for older browsers by adding retro-compatibility CSS prop…
codec-abc Jan 21, 2018
4abbb3c
Fix more memory leaks in the documentation generation.
codec-abc Jan 21, 2018
7b57efb
Use linked list to manage the source file included in the documentati…
codec-abc Jan 21, 2018
1eff921
Make link to source code fonts smaller using CSS.
codec-abc Jan 21, 2018
6dce42c
Fix compilation on older GCC.
codec-abc Jan 23, 2018
e9ff7d3
Fix duplicate entry in mkdocs.yml for source file.
codec-abc Jan 23, 2018
b5ed976
Fix get_file_name modifying its argument on linux.
codec-abc Jan 23, 2018
aab2901
Remove unecessary const on result of some path functions.
codec-abc Jan 23, 2018
e8c8b2e
Fix confusion for get_file_name which does NOT allocate a new string.
codec-abc Jan 23, 2018
db20c06
Wrap full source code file into a HTML block to process them later on.
codec-abc Jan 23, 2018
68e53e0
Remove hidden attribute for the div that wrap source file.
codec-abc Jan 24, 2018
b47920c
Merge branch 'master' of https://github.com/ponylang/ponyc into doc_e…
Jan 24, 2018
8f97aaf
Merge branch 'doc_embed_source_code' of https://github.com/codec-abc/…
Jan 24, 2018
538e1f2
Remove extra file that will be part of the official them. Also remove…
Jan 24, 2018
6d1d7f8
Remove no more used functions for copying extra documentation files.
Jan 24, 2018
db5639c
Remove copy_file_content function which is no more used.
codec-abc Jan 24, 2018
08ed8f0
Fix few issues with markdown layout.
Jan 29, 2018
5658992
Use span instead of div for link to source code.
Jan 29, 2018
1fb85e6
Use pony custom allocator instead of malloc/calloc/free.
Jan 29, 2018
3be278d
Switch theme for mkdocs from readthedocs to ponylang.
Jan 30, 2018
720112e
Merge branch 'master' into doc_embed_source_code
Feb 1, 2018
ee27353
install offical pony mkdocs'theme by default
Feb 1, 2018
d72d78b
Fix installation of mkdocs and custom theme in travis script.
Feb 1, 2018
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 0 additions & 2 deletions .docs/extra.js

This file was deleted.

8 changes: 8 additions & 0 deletions src/common/paths.h
Original file line number Diff line number Diff line change
Expand Up @@ -42,4 +42,12 @@ PONY_DIRINFO* pony_dir_entry_next(PONY_DIR* dir);
// Make the specified directory, including any intermediate directories
void pony_mkdir(const char* path);

char* get_file_name(char* path);

char* remove_ext(const char* path, char dot, char sep, size_t* allocated_size);

bool get_compiler_exe_path(char* output_path);

bool get_compiler_exe_directory(char* output_path);

#endif
Loading