Skip to content

Commit

Permalink
auto-sync manual with the main one
Browse files Browse the repository at this point in the history
  • Loading branch information
privat committed Jul 5, 2024
1 parent 6661b4c commit 8ffbe34
Show file tree
Hide file tree
Showing 16 changed files with 3 additions and 1,445 deletions.
4 changes: 3 additions & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -9,10 +9,12 @@ rebuild:
nitiwiki --render --force -v

deploy: doc.zip man.zip catalog.zip
unzip -o doc.zip -d tmp
cp -r tmp/manual pages/
chmod +x pages/manual/makedoc.sh
make -C pages/manual
unzip -o man.zip -d pages/tools
nitiwiki --render --force -v
unzip -o doc.zip -d tmp
mv tmp/nitc tmp/stdlib target/doc/
unzip -o catalog.zip -d target/catalog/

Expand Down
2 changes: 0 additions & 2 deletions pages/manual/Makefile

This file was deleted.

59 changes: 0 additions & 59 deletions pages/manual/attribute.md

This file was deleted.

153 changes: 0 additions & 153 deletions pages/manual/basic_type.md

This file was deleted.

49 changes: 0 additions & 49 deletions pages/manual/class.md

This file was deleted.

Loading

0 comments on commit 8ffbe34

Please sign in to comment.